Result 1 to 20 of 40 total
State coverage: Software validation metrics beyond code coverage. (English)
Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 542-553 (2012).
1
Retrofitting unit tests for parameterized unit testing. (English)
Giannakopoulou, Dimitra (ed.) et al., Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19810-6/pbk). Lecture Notes in Computer Science 6603, 294-309 (2011).
2
Browser-based software for technology transfer (English)
SAICSIT Conf., 338-340 (2011).
3
Express: guided path exploration for efficient regression test generation (English)
ISSTA, 1-11 (2011).
4
Retrofitting unit tests for parameterized unit testing (English)
FASE, 294-309 (2011).
5
Synthesizing method sequences for high-coverage testing (English)
OOPSLA, 189-206 (2011).
6
Pex4fun: teaching and learning computer science via social gaming (English)
CSEE&T, 546-548 (2011).
7
Precise identification of problems for structural test generation (English)
ICSE, 611-620 (2011).
8
Covana: precise identification of problems in pex (English)
ICSE, 1004-1006 (2011).
9
FloPSy ‒ search-based floating point constraint solving for symbolic execution. (English)
Petrenko, Alexandre (ed.) et al., Testing software and systems. 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16572-6/pbk). Lecture Notes in Computer Science 6435, 142-157 (2010).
10
Qex: symbolic SQL query explorer. (English)
Clarke, Edmund M. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 ‒ May 1, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17510-7/pbk). Lecture Notes in Computer Science 6355. Lecture Notes in Artificial Intelligence, 425-446 (2010).
11
DyGen: automatic generation of high-coverage tests via mining gigabytes of dynamic traces. (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, 77-93 (2010).
12
Moles: Tool-assisted environment isolation with closures. (English)
Vitek, Jan (ed.), Objects, models, components, patterns. 48th international conference, TOOLS 2010, Málaga, Spain, June 28 ‒ July 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13952-9/pbk). Lecture Notes in Computer Science 6141, 253-270 (2010).
13
Parameterized unit testing with Pex: tutorial. (English)
Borba, Paulo (ed.) et al., Testing techniques in software engineering. Second Pernambuco summer school on software engineering, PSSE 2007, Recife, Brazil, December 3‒7, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-642-14334-2/pbk). Lecture Notes in Computer Science 6153, 141-202 (2010).
14
Moles: tool-assisted environment isolation with closures (English)
TOOLS (48), 253-270 (2010).
15
Qex: symbolic SQL query explorer (English)
LPAR (Dakar), 425-446 (2010).
16
Dygen: automatic generation of high-coverage tests via mining gigabytes of dynamic traces (English)
TAP, 77-93 (2010).
17
Flopsy - search-based floating point constraint solving for symbolic execution (English)
ICTSS, 142-157 (2010).
18
Guided test generation for coverage criteria (English)
ICSM, 1-10 (2010).
19
Test generation via dynamic symbolic execution for mutation testing (English)
ICSM, 1-10 (2010).
20
Result 1 to 20 of 40 total
Start
Contact
Print
General Help
