Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1998-2010 (10)
Publication types (Num. hits)
inproceedings(10)
Venues (Conferences, Journals, ...)
ISSRE(3) ASE(2) DOSTA(1) ICSE(1) ICSEA(1) ICST(1) Tool Support for System Specif...(1)
Authors
Ioannis Parissis(7) Lydie du Bousquet(4) Nicolas Zuanon(3) Besnik Seljimi(2) Farid Ouabdesselam(2) Jean-Luc Richier(2) Jérôme Vassy(2) Laya Madani(2) Catherine Oriat(1) Jullien Bouchet(1) Laurence Nigay(1) Michel Delaunay(1) Virginia Papailiopoulou(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
167Besnik Seljimi, Ioannis Parissis Automatic generation of test data generators for synchronous programs: Lutess V2. Search on Bibsonomy DOSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lutess, automatic test generation, synchronous programs
159Lydie du Bousquet, Nicolas Zuanon An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
96Besnik Seljimi, Ioannis Parissis Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. Search on Bibsonomy ISSRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
72Ioannis Parissis, Jérôme Vassy Thoroughness of Specification-Based Testing of Synchronous Programs. Search on Bibsonomy ISSRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Ioannis Parissis, Jérôme Vassy Strategies for Automated Specification-Based Testing of Synchronous Software. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon Lutess: A Specification-Driven Testing Environment for Synchronous Software. Search on Bibsonomy ICSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF synchronous reactive software, automated testing, operational profiles, Lustre, telecommunications systems, behavioral patterns
39Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon Lutess: a testing environment for synchronous software. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Laya Madani, Virginia Papailiopoulou, Ioannis Parissis Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. Search on Bibsonomy ICST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF reactive software, Lutess, specification-based testing, automatic test data generation
24Lydie du Bousquet, Michel Delaunay Using mutation analysis to evaluate test generation strategies in a synchronous context. Search on Bibsonomy ICSEA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. Search on Bibsonomy ISSRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (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