|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 15 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zoltán Micskei, Hélène Waeselynck |
The many meanings of UML 2 Sequence Diagrams: a survey.  |
Software and System Modeling  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere |
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
Algorithm, testing, scenarios, graph matching, mobile computing systems |
| 1 | Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels |
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Analysis of counterexamples, SCADE models, structural paths |
| 1 | Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels |
Model checking flight control systems: The Airbus experience. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere |
Testing mobile computing applications: toward a scenario language and tools. |
WODA |
2008 |
DBLP DOI BibTeX RDF |
scenario language, testing, graph matching, mobile computing systems |
| 1 | Guy Durrieu, Hélène Waeselynck, Virginie Wiels |
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
formal methods, automation, Test oracle, avionics |
| 1 | Hélène Waeselynck, Pascale Thévenod-Fosse, Olfa Abdellatif-Kaddour |
Simulated annealing applied to test generation: landscape characterization and stopping criteria. |
Empirical Software Engineering |
2007 |
DBLP DOI BibTeX RDF |
Metaheuristic search, Measurement, Software testing, Simulated annealing |
| 1 | Hélène Waeselynck, Zoltán Micskei, Minh Duc Nguyen, Nicolas Riviere |
Mobile Systems from a Validation Perspective: a Case Study. |
ISPDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Lussier, Hélène Waeselynck, Karim Guennoun |
Proof-Guided Testing: An Experimental Study. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe David, Hélène Waeselynck, Yves Crouzet |
Open source software in critical systems: Motivation and challenges. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Lussier, Hélène Waeselynck |
Deriving Test Sets from Partial Proofs. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Abdellatif-Kaddour, Pascale Thévenod-Fosse, Hélène Waeselynck |
Property-Oriented Testing: A Strategy for Exploring Dangerous Scenarios. |
SAC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Lussier, Hélène Waeselynck |
Informal Proof Analysis Towards Testing Enhancement. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand |
Testing levels for object-oriented software. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
abstract classes, object-oriented oftware, test order, tool, polymorphism, integration strategy |
| 1 | Hélène Waeselynck, Pascale Thévenod-Fosse |
A Case Study in Statistical Testing of Reusable Concurrent Objects. |
EDCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Salimeh Behnia, Hélène Waeselynck |
Test Criteria Definition for B Models. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Waeselynck, Salimeh Behnia |
B Model Animation for External Verification. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Waeselynck |
Specification in B: An Introduction Using the B Toolkit, by Kevin Lano and Howard Haughton, Imperial College Press, distributed by World Scientific Publishing, 1996 (Book Review). |
Softw. Test., Verif. Reliab. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascale Thévenod-Fosse, Hélène Waeselynck |
Towards a Statistical Approach to Testing Object-Oriented Programs. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Waeselynck, Dietmar Pfahl |
System Dynamics Applied to the Modelling of Software Projects. |
Software - Concepts and Tools |
1994 |
DBLP BibTeX RDF |
|
| 1 | Pascale Thévenod-Fosse, Hélène Waeselynck |
STATEMATE Applied to Statistical Software Testing. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascale Thévenod-Fosse, Hélène Waeselynck |
An Investigation of Statistical Software Testing. |
Softw. Test., Verif. Reliab. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet |
An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation. |
FTCS |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")