Result 1 to 20 of 53 total
Tests and proofs. 6th international conference, TAP 2012, Prague, Czech Republic, May 31‒June 1, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7305. Berlin: Springer (ISBN 978-3-642-30472-9/pbk). x, 177~p. \$~72.00 (2012).
1
Measuring test properties coverage for evaluating UML/OCL model-based tests. (English)
Wolff, Burkhart (ed.) et al., Testing software and systems. 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7‒10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24579-4/pbk). Lecture Notes in Computer Science 7019, 32-47 (2011).
2
The SANTE tool: value analysis, program slicing and test generation for C program debugging. (English)
Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 78-83 (2011).
3
Association of under-approximation techniques for generating tests from models. (English)
Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 51-68 (2011).
4
Generating tests from B specifications and dynamic selection criteria. (English)
Formal Asp. Comput. 23, No. 1, 3-19 (2011).
5
The SANTE tool: value analysis, program slicing and test generation for C program debugging (English)
TAP, 78-83 (2011).
6
Association of under-approximation techniques for generating tests from models (English)
TAP, 51-68 (2011).
7
Measuring test properties coverage for evaluating UML/OCL model-based tests (English)
ICTSS, 32-47 (2011).
8
Syntactic abstraction of B models to generate tests. (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, 151-166 (2010).
9
Combining static analysis and test generation for C program debugging. (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, 94-100 (2010).
10
Syntactic abstraction of B models to generate tests. (English)
Comput. Res. Repos. 2010, Article No. 1004.1262 (2010).
11
B model abstraction combining syntactic and semantic methods. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 408 (2010).
12
Test generation based on abstraction and test purposes to complement structural tests (English)
ICST Workshops, 54-61 (2010).
13
Syntactic abstraction of B models to generate tests (English)
TAP, 151-166 (2010).
14
Combining static analysis and test generation for C program debugging (English)
TAP, 94-100 (2010).
15
B model abstraction combining syntactic and semantic methods (English)
ASM, 408 (2010).
16
Partitioned PLTL model-checking for refined transition systems. (English)
Inf. Comput. 207, No. 6, 681-698 (2009).
17
Generating tests from B specifications and test purposes. (English)
Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16‒18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 139-152 (2008).
18
Verification of class liveness properties with Java modelling language (English)
IET Software 2, No. 6, 500-514 (2008).
19
Generating security tests in addition to functional tests (English)
AST, 41-44 (2008).
20
Result 1 to 20 of 53 total
Start
Contact
Print
General Help
