Result 1 to 20 of 48 total
BETA: a B based testing approach. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 51-66 (2012).
1
Praspel: a specification language for contract-based testing in PHP. (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, 64-79 (2011).
2
Vision paper: Towards model-based energy testing. (English)
Whittle, Jon (ed.) et al., Model driven engineering languages and systems. 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24484-1/pbk). Lecture Notes in Computer Science 6981, 480-489 (2011).
3
EUnit: a unit testing framework for model management tasks. (English)
Whittle, Jon (ed.) et al., Model driven engineering languages and systems. 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24484-1/pbk). Lecture Notes in Computer Science 6981, 395-409 (2011).
4
On parameter tuning in search based software engineering. (English)
Cohen, Myra B. (ed.) et al., Search based software engineering. Third international symposium, SSBSE 2011, Szeged, Hungary, September 10‒12, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23715-7/pbk). Lecture Notes in Computer Science 6956, 33-47 (2011).
5
A unit test approach for database schema evolution. (English)
Inf. Softw. Technol. 53, No. 2, 159-170 (2011).
6
Architecture-based unit testing of the flight software product line. (English)
Bosch, Jan (ed.) et al., Software product lines: going beyond. 14th international conference, SPLC 2010, Jeju Island, South Korea, September 13‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15578-9/pbk). Lecture Notes in Computer Science 6287, 256-270 (2010).
7
An approach for class testing from class contracts. (English)
Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15642-7/pbk). Lecture Notes in Computer Science 6252, 203-217 (2010).
8
Systematic unit testing in a read-eval-print loop. (English)
J. UCS 16, No. 2, 296-314, electronic only (2010).
9
An open-source tool for automated generation of black-box xUnit test code and its industrial evaluation. (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, 118-128 (2010).
10
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).
11
Idea: Using system level testing for revealing SQL injection-related error message information leaks. (English)
Massacci, Fabio (ed.) et al., Engineering secure software and systems. Second international symposium, ESSoS 2010, Pisa, Italy, February 3‒4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11746-6/pbk). Lecture Notes in Computer Science 5965, 192-200 (2010).
12
Testing state design pattern implementations with symbolic execution. (English)
Bul. Ştiinţ., Univ. Piteşti, Ser. Mat. Inf. 15, 73-80 (2009).
13
On guiding the augmentation of an automated test suite via mutation analysis. (English)
Empir. Softw. Eng. 14, No. 3, 341-369 (2009).
14
Integrating software testing and run-time checking in an assertion verification framework. (English)
Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14‒17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 281-295 (2009).
15
Unit testing for domain-specific languages. (English)
Taha, Walid Mohamed (ed.), Domain-specific languages. IFIP TC 2 working conference, DSL 2009, Oxford, UK, July 15‒17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03033-8/pbk). Lecture Notes in Computer Science 5658, 125-147 (2009).
16
Unit testing of software components with inter-component dependencies. (English)
Lewis, Grace A. (ed.) et al., Component-based software engineering. 12th international symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24‒26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02413-9/pbk). Lecture Notes in Computer Science 5582, 262-273 (2009).
17
A system dynamics model that simulates a significant late life cycle manpower increase phenomenon. (English)
Wang, Qing (ed.) et al., Trustworthy software development processes. International conference on software process, ICSP 2009, Vancouver, Canada, May 16‒17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01679-0/pbk). Lecture Notes in Computer Science 5543, 402-410 (2009).
18
Towards reliable SOA ‒ an architecture for quality management of web services. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2008 workshops. OTM confederated international workshops and posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent+QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9‒14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88874-1/pbk). Lecture Notes in Computer Science 5333, 170-179 (2008).
19
The effectiveness of $t$-way test data generation. (English)
Harrison, Michael D. (ed.) et al., Computer safety, reliability, and security. 27th international conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22‒25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87697-7/pbk). Lecture Notes in Computer Science 5219, 16-29 (2008).
20
Result 1 to 20 of 48 total
Start
Contact
Print
General Help
