Conference
Dynamically Discovering Functional Likely Program Invariants Based on Relational Database Theory
| Τίτλος: | Dynamically Discovering Functional Likely Program Invariants Based on Relational Database Theory |
|---|---|
| Συγγραφείς: | Yang, X.-H., Liu, J., Yu, T.-L., Luo, Y., Wu, Q.-J. |
| Πηγή: | 2009 International Conference on Computational Intelligence and Software Engineering Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on. :1-4 Dec, 2009 |
| Relation: | 2009 International Conference on Computational Intelligence and Software Engineering |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!