Result 1 to 20 of 46 total
Model-based filtering of combinatorial test suites. (English)
de Lara, Juan (ed.) et al., Fundamental approaches to software engineering. 15th international conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28871-5/pbk). Lecture Notes in Computer Science 7212, 439-454 (2012).
1
Reusing a JML specification dedicated to verification for testing, and vice-versa: Case studies. (English)
J. Autom. Reasoning 45, No. 4, 415-435 (2010).
2
A new approach for software testability. (English)
Bottaci, Leonardo (ed.) et al., Testing ‒ practice and research techniques. 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3‒5, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15584-0/pbk). Lecture Notes in Computer Science 6303, 207-210 (2010).
3
Proof process evaluation with mutation analysis (extended abstract). (English)
Fraser, Gordon (ed.) et al., Tests and proofs. 4th international conference, TAP 2010, Málaga, Spain, July 1‒2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13976-5/pbk). Lecture Notes in Computer Science 6143, 55-60 (2010).
4
Comparing safety analysis based on sequence diagrams and textual use cases. (English)
Pernici, Barbara (ed.), Advanced information systems engineering. 22nd international conference, CAiSE 2010, Hammamet, Tunisia, June 7‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13093-9/pbk). Lecture Notes in Computer Science 6051, 165-179 (2010).
5
Comparing safety analysis based on sequence diagrams and textual use cases (English)
CAiSE, 165-179 (2010).
6
Proof process evaluation with mutation analysis (English)
TAP, 55-60 (2010).
7
A new approach for software testability (English)
TAIC PART, 207-210 (2010).
8
Using formal methods to increase confidence in a home network system implementation: a case study. (English)
Innov. Syst. Softw. Eng. 5, No. 3, 181-196 (2009).
9
Extending structural test coverage criteria for Lustre programs with multi-clock operators. (English)
Cofer, Darren (ed.) et al., Formal methods for industrial critical systems. 13th international workshop, FMICS 2008, L’Aquila, Italy, September 15‒16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03239-4/pbk). Lecture Notes in Computer Science 5596, 23-36 (2009).
10
Service specification and validation in the context of the home (English)
ICFI, 207-219 (2009).
11
Analysis of the introduction of testability antipatterns during the development process (English)
ICSEA, 128-133 (2009).
12
Towards mutation analysis for lustre programs. (English)
Electron. Notes Theor. Comput. Sci. 203, No. 4, 35-48 (2008).
13
Validating safety for the integrated services of the home network system using JML (English)
JIP 16, 38-49 (2008).
14
Relation between depth of inheritance tree and number of methods to test (English)
ICST, 161-170 (2008).
15
Extending structural test coverage criteria for lustre programs with multi-clock operators (English)
FMICS, 23-36 (2008).
16
A case study in matching test and proof coverage. (English)
Electron. Notes Theor. Comput. Sci. 190, No. 2, 73-84 (2007).
17
Measuring a Java test suite coverage using JML specifications. (English)
Electron. Notes Theor. Comput. Sci. 190, No. 2, 21-32 (2007).
18
Mastering combinatorial explosion with the tobias-2 test generator (English)
ASE, 535-536 (2007).
19
Using mutation analysis to evaluate test generation strategies in a synchronous context (English)
ICSEA, 40 (2007).
20
Result 1 to 20 of 46 total
Start
Contact
Print
General Help
