Cited By
View all- Jaffar JGodboley SMaghareh RMussbacher GAtlee JBultan T(2019)Optimal MC/DC test case generationProceedings of the 41st International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion.2019.00118(288-289)Online publication date: 25-May-2019
- Baldoni RCoppa ED’elia DDemetrescu CFinocchi I(2018)A Survey of Symbolic Execution TechniquesACM Computing Surveys10.1145/318265751:3(1-39)Online publication date: 23-May-2018
- Mesnard FPayet ÉVidal GVanhoof WPientka B(2017)Selective unification in constraint logic programmingProceedings of the 19th International Symposium on Principles and Practice of Declarative Programming10.1145/3131851.3131863(115-126)Online publication date: 9-Oct-2017
- Show More Cited By