First Page | Document Content | |
---|---|---|
![]() Date: 2014-07-20 11:22:00Software engineering Computing Computer programming Cross-platform software High-level programming languages Abstract interpretation Computer science Symbolic execution D Pure Concolic testing | Add to Reading List |