@inproceedings{951881903d084a7e981fed841bfa7669,
title = "Semi-automatic incompatibility localization for re-engineered industrial software",
abstract = "After a legacy system is re-engineered, it is important to perform compatibility testing so as to identify the differences and reduce the introduced bugs. We can first apply symbolic execution to obtain an exhaustive set of test cases, then use them to check the compatibility of the old system and the new one. However there may be a lot of failed test cases which are a mix of erroneous and allowable incompatibilities. To locate the causes of failures detected during the testing, we apply multiple statistical bug localization techniques. We are able to localize 90% of the incompatibilities in 10% of the code for an industrial application with around 20k lines by Tarantula. And we identify the characteristics of failure causes which are difficult to be detected by statistical bug localization.",
keywords = "bug localization, compatibility testing, embedded system, fault localization, symbolic execution",
author = "Susumu Tokumoto and Kazunori Sakamoto and Kiyofumi Shimojo and Tadahiro Uehara and Hironori Washizaki",
year = "2014",
doi = "10.1109/ICST.2014.20",
language = "English",
isbn = "9780769551852",
series = "Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation, ICST 2014",
publisher = "IEEE Computer Society",
pages = "91--94",
booktitle = "Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation, ICST 2014",
note = "7th IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 ; Conference date: 31-03-2014 Through 04-04-2014",
}