![](/img/cover-not-exists.png)
[ACM Press the 6th International Workshop - Hyderabad, India (2014.05.31-2014.05.31)] Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA 2014 - Automatic repair of buggy if conditions and missing preconditions with SMT
DeMarco, Favio, Xuan, Jifeng, Le Berre, Daniel, Monperrus, MartinYear:
2014
Language:
english
DOI:
10.1145/2593735.2593740
File:
PDF, 386 KB
english, 2014