-
Notifications
You must be signed in to change notification settings - Fork 0
/
references.bib
36 lines (33 loc) · 1.54 KB
/
references.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
@inproceedings{badihi2020ardiff,
title = {{ARDiff}: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code},
author = {Badihi, Sahar and Akinotcho, Faridah and Li, Yi and Rubin, Julia},
booktitle = {Proceedings of the 28th Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
publisher = {ACM},
pages = {13-24},
year = {2020},
doi = {10.1145/3368089.3409757},
}
@inproceedings{boehme2013prv,
author = {Böhme, Marcel and Oliveira, Bruno C. d. S. and Roychoudhury, Abhik},
booktitle = {Proceedings of the 35th International Conference on Software Engineering},
title = {Partition-based Regression Verification},
publisher = {IEEE},
year = {2013},
pages = {302-311},
doi = {10.1109/ICSE.2013.6606576},
}
@article{glock2024pasda,
author = {Johann Glock and Josef Pichler and Martin Pinzger},
title = {{PASDA}: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases},
journal = {Journal of Systems and Software},
year = {2024},
}
@inproceedings{person2008dse,
author = {Person, Suzette and Dwyer, Matthew B. and Elbaum, Sebastian G. and Pǎsǎreanu, Corina S.},
title = {Differential Symbolic Execution},
booktitle = {Proceedings of the 16th International Symposium on Foundations of Software Engineering},
publisher = {ACM},
pages = {226-237},
year = {2008},
doi = {10.1145/1453101.1453131},
}