• – Based on projects hosted at...

*Result*: – Based on projects hosted at GitHub and ques-ons posted at StackOverflow

Title:
– Based on projects hosted at GitHub and ques-ons posted at StackOverflow
Authors:
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, Simon Gibbs
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
http://srl.cs.berkeley.edu/~ksen/slides/jalangi-jstools13.pdf.
Publication Year:
2012
Collection:
CiteSeerX
Subject Terms:
– Academic tools, SLAM, BLAST, ESP, JPF, Bandera, Saturn, MAGIC, DART, CUTE, jCUTE, KLEE – Mostly focused on C/C++ and Java programs
Document Type:
*Academic Journal* text
File Description:
application/pdf
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.456.9862
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.456.9862
http://srl.cs.berkeley.edu/~ksen/slides/jalangi-jstools13.pdf
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.6420F23E
Database:
BASE

*Further Information*

*• In the recent years we have seen remarkable*