Browsing by Sponsor/Funder DSO National Laboratories
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Jul-2022 | Combining static analysis error traces with dynamic symbolic execution (experience paper) | Busse, F; Gharat, P; Cadar, C; Donaldson, A; , et al |
| 25-Dec-2020 | Pending constraints in symbolic execution for better exploration and seeding | Kapus, T; Busse, F; Cadar, C; |
| Jul-2020 | Running symbolic execution forever | Busse, F; Nowack, M; Cadar, C; , et al |
| Oct-2020 | Using impedance engineering to design better ceramic composites for armour | Vandeperre, Luc; Saiz, Eduardo; Teo, Jia Hui; |