Bogdan Korel, Qi Zhang, Li Tao
Assertion-Based Validation of Modified Programs
ICST, 2009.
@inproceedings{ICST-2009-KorelZT, author = "Bogdan Korel and Qi Zhang and Li Tao", booktitle = "{Proceedings of the Second International Conference on Software Testing Verification and Validation}", doi = "10.1109/ICST.2009.50", isbn = "978-0-7695-3601-9", pages = "426--435", publisher = "{IEEE Computer Society}", title = "{Assertion-Based Validation of Modified Programs}", year = 2009, }