Testing software and systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings /
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The...
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2012
|
Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 7641 |
Subjects: |
LEADER | 08413nam a2200673Ka 4500 | ||
---|---|---|---|
001 | c6263556-cc15-427f-ad70-b37c30886997 | ||
005 | 20240926000000.0 | ||
008 | 121211s2012 gw o 101 0 eng d | ||
019 | |a 848181404 | ||
020 | |a 364234691X |q (electronic bk.) | ||
020 | |a 9783642346910 |q (electronic bk.) | ||
020 | |z 9783642346903 | ||
024 | 7 | |a 10.1007/978-3-642-34691-0 |2 doi | |
035 | |a (OCoLC)820879062 |z (OCoLC)848181404 | ||
035 | |a (Sirsi) a9858068 | ||
035 | |a (Sirsi) spocn820879062 | ||
040 | |a GW5XE |b eng |e pn |c GW5XE |d YDXCP |d ZMC |d COO |d I9W |d OCLCF |d BEDGE |d OCLCO |d AU@ |d VT2 |d OCL |d OCLCO |d OCLCQ |d ESU |d IOG |d BUF |d CEF |d U3W |d EBLCP |d YOU |d TKN |d LEAUB |d OCLCQ |d OCLCO |d UKAHL |d CSt | ||
040 | |a GW5XE |b eng |e pn |c GW5XE |d YDXCP |d ZMC |d COO |d I9W |d OCLCF |d BEDGE |d OCLCO |d AU@ |d VT2 |d OCL |d OCLCO |d OCLCQ | ||
049 | |a MAIN | ||
050 | 4 | |a QA76.76.T48 |b I28 2012 | |
082 | 0 | 4 | |a 005.1/4 |2 23 |
111 | 2 | |a ICTSS 2012 |d (2012 : |c Aalborg, Denmark) | |
245 | 1 | 0 | |a Testing software and systems : |b 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / |c Brian Nielsen, Carsten Weise (eds.) |
246 | 3 | |a ICTSS 2012 | |
260 | |a Berlin ; |a New York : |b Springer, |c ©2012 | ||
300 | |a 1 online resource | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 7641 | |
505 | 0 | 0 | |t Requirements-Driven Log Analysis |g (Extended Abstract) / |r Klaus Havelund -- |t Active Learning of Extended Finite State Machines / |r Frits Vaandrager -- |t Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools / |r Jörg Brauer, Jan Peleska and Uwe Schulze -- |t Managing Execution Environment Variability during Software Testing: An Industrial Experience / |r Aymeric Hervieu, Benoit Baudry and Arnaud Gotlieb -- |t A Technique for Agile and Automatic Interaction Testing for Product Lines / |r Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson and Jan Endresen, et al. -- |t CaPTIF: Comprehensive Performance TestIng Framework / |r Daniel A. Mayer, Orie Steele, Susanne Wetzel and Ulrike Meyer -- |t Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems / |r Mariam Lahami, Fairouz Fakhfakh, Moez Krichen and Mohamed Jmaiel -- |t Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol / |r Nanxing Chen and César Viho -- |t Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems / |r Mariam Lahami, Moez Krichen, Mariam Bouchakwa and Mohamed Jmaiel -- |t Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing / |r Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston and Pascale Le Gall -- |t Querying Parametric Temporal Logic Properties on Embedded Systems / |r Hengyi Yang, Bardh Hoxha and Georgios Fainekos -- |t State Estimation and Property-Guided Exploration for Hybrid Systems Testing / |r Thao Dang and Noa Shalev -- |t Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes / |r Angelo Gargantini, Marco Guarnieri and Eros Magri -- |t Using Behaviour Inference to Optimise Regression Test Sets / |r Ramsay Taylor, Mathew Hall, Kirill Bogdanov and John Derrick -- |t Machine Learning Approach in Mutation Testing / |r Joanna Strug and Barbara Strug -- |t Lightweight Automatic Error Detection by Monitoring Collar Variables / |r João Santos and Rui Abreu -- |t Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution / |r Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino -- |t Parameterized GUI Tests / |r Stephan Arlt, Pedro Borromeo, Martin Schäf and Andreas Podelski |
505 | 0 | 0 | |t Requirements-Driven Log Analysis |g (Extended Abstract) / |r Klaus Havelund -- |t Active Learning of Extended Finite State Machines / |r Frits Vaandrager -- |t Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools / |r Jörg Brauer, Jan Peleska and Uwe Schulze -- |t Managing Execution Environment Variability during Software Testing: An Industrial Experience / |r Aymeric Hervieu, Benoit Baudry and Arnaud Gotlieb -- |t A Technique for Agile and Automatic Interaction Testing for Product Lines / |r Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson and Jan Endresen, et al. -- |t CaPTIF: Comprehensive Performance TestIng Framework / |r Daniel A. Mayer, Orie Steele, Susanne Wetzel and Ulrike Meyer -- |t Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems / |r Mariam Lahami, Fairouz Fakhfakh, Moez Krichen and Mohamed Jmaiel -- |t Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol / |r Nanxing Chen and César Viho -- |t Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems / |r Mariam Lahami, Moez Krichen, Mariam Bouchakwa and Mohamed Jmaiel -- |t Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing / |r Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston and Pascale Le Gall -- |t Querying Parametric Temporal Logic Properties on Embedded Systems / |r Hengyi Yang, Bardh Hoxha and Georgios Fainekos -- |t State Estimation and Property-Guided Exploration for Hybrid Systems Testing / |r Thao Dang and Noa Shalev -- |t Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes / |r Angelo Gargantini, Marco Guarnieri and Eros Magri -- |t Using Behaviour Inference to Optimise Regression Test Sets / |r Ramsay Taylor, Mathew Hall, Kirill Bogdanov and John Derrick -- |t Machine Learning Approach in Mutation Testing / |r Joanna Strug and Barbara Strug -- |t Lightweight Automatic Error Detection by Monitoring Collar Variables / |r João Santos and Rui Abreu -- |t Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution / |r Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi and Teruo Higashino -- |t Parameterized GUI Tests / |r Stephan Arlt, Pedro Borromeo, Martin Schäf and Andreas Podelski |
520 | |a This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods | ||
650 | 0 | |a Computer software |x Testing |v Congresses | |
650 | 0 | |a Software engineering |v Congresses | |
650 | 7 | |a Computer software |x Testing |2 fast | |
650 | 7 | |a Informatique |2 eclas | |
650 | 7 | |a Software engineering |2 fast | |
653 | 4 | |a Computer Communication Networks | |
653 | 4 | |a Computer science | |
653 | 4 | |a Information Systems | |
653 | 4 | |a Logics and Meanings of Programs | |
653 | 4 | |a Programming Languages, Compilers, Interpreters | |
653 | 4 | |a Software engineering | |
653 | 4 | |a Special Purpose and Application-Based Systems | |
655 | 4 | |a Electronic books | |
655 | 7 | |a Conference papers and proceedings |2 fast | |
700 | 1 | |a Nielsen, Brian, |c Ph. D |1 http://viaf.org/viaf/112712699 | |
700 | 1 | |a Nielsen, Brian, |c Ph. D | |
700 | 1 | |a Weise, Carsten |1 http://viaf.org/viaf/46517203 | |
700 | 1 | |a Weise, Carsten | |
776 | 0 | 8 | |i Printed edition: |z 9783642346903 |
830 | 0 | |a LNCS sublibrary |n SL 2, |p Programming and software engineering. | |
830 | 0 | |a Lecture notes in computer science ; |v 7641 | |
999 | 1 | 0 | |i c6263556-cc15-427f-ad70-b37c30886997 |l a9858068 |s US-CST |m testing_software_and_systems24th_ifip_wg_6_1_international_conference______2012_______sprina________________________________________ictss_2012_________________________e |
999 | 1 | 0 | |i c6263556-cc15-427f-ad70-b37c30886997 |l 11077678 |s US-ICU |m testing_software_and_systems24th_ifip_wg_6_1_international_conference______2012_______sprina________________________________________ictss_2012_________________________e |
999 | 1 | 1 | |l a9858068 |s ISIL:US-CST |t BKS |b c1b842c2-4db7-5c79-992c-88d8fd382041 |y c1b842c2-4db7-5c79-992c-88d8fd382041 |p UNLOANABLE |
999 | 1 | 1 | |l a9858068 |s ISIL:US-CST |t BKS |a SUL-ELECTRONIC |p UNLOANABLE |