Number of items: 1.
Conference or Workshop Item (A Paper)
Jamrozik, Konrad and Fraser, Gordon and Tillmann, Nikolai and Halleux, Jonathan De
(2013)
Generating Test Suites with Augmented Dynamic Symbolic Execution.
This list was generated on Fri Jul 26 08:33:24 2024 CEST.