Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2003 (1) 2004 (1) 2006 (2)
Publication types (Num. hits)
article(2) inproceedings(2)
Venues (Conferences, Journals, ...)
ACM Trans. Softw. Eng. Methodo...(1) Empir. Softw. Eng.(1) Haskell(1) ISSRE(1)
Authors
Avik Sinha(3) Carol S. Smidts(3) Anders Höckersten(1) Andrew Moran(1) Björn Bringert(1) Conny Andersson(1) Martin Andersson(1) Mary Bergman(1) Torbjörn Martin(1) Victor Blomqvist(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
111Avik Sinha, Carol S. Smidts, Andrew Moran Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. Search on Bibsonomy ISSRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
64Avik Sinha, Carol S. Smidts HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation
56Avik Sinha, Carol S. Smidts An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF EFSM software model, Software test automation, Functional specification language, Empirical study, Controlled experiment
46Björn Bringert, Anders Höckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist, Torbjörn Martin Student paper: HaskellDB improved. Search on Bibsonomy Haskell The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (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