Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for TestEra with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001 (2) 2004 (2) 2005 (1) 2011 (1)
Publication types (Num. hits)
article(2) inproceedings(4)
Venues (Conferences, Journals, ...)
ASE(2) Autom. Softw. Eng.(1) IEEE Trans. Software Eng.(1) ISSTA(1) Workshop on Software Model Che...(1)
Authors
Sarfraz Khurshid(6) Darko Marinov(4) David Coppit(2) Jinlin Yang(2) Kevin J. Sullivan(2) Daniel Jackson 0001(1) Guowei Yang 0001(1) Lingming Zhang 0001(1) Shadi Abdul Khalek(1) Wei Le(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 10 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
204Sarfraz Khurshid, Darko Marinov TestEra: Specification-Based Testing of Java Programs Using SAT. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
197Darko Marinov, Sarfraz Khurshid TestEra: A Novel Framework for Automated Testing of Java Programs. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
59Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson 0001 Software assurance by bounded exhaustive testing. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing
53David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan Software Assurance by Bounded Exhaustive Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Formal methods, program verification, testing and debugging
39Shadi Abdul Khalek, Guowei Yang 0001, Lingming Zhang 0001, Darko Marinov, Sarfraz Khurshid TestEra: A tool for testing Java programs using alloy specifications. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
39Sarfraz Khurshid, Darko Marinov Checking Java implementation of a naming architecture using Testera. Search on Bibsonomy Workshop on Software Model Checking @ CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license