Back to Results
First PageMeta Content
Cross-platform software / Abstract interpretation / Symbolic execution / Debugging / Exception handling / Software testing / KeY / Test / Function / Computing / Computer programming / Software engineering


Angelic Debugging Satish Chandra Emina Torlak IBM Research
Add to Reading List

Document Date: 2014-08-13 19:26:58

Open Document

File Size: 292,28 KB

Share Result on Facebook
UPDATE