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 Thu Apr 24 09:02:00 2025 CEST.