Table of Contents

• Formally comparing user and implementer model-based testing methodsCésar Andrés, Luis Llana, Ismael Rodríguez. 1-10 [doi]
• Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case GenerationEmine G. Aydal, Richard F. Paige, Jim Woodcock. 11-20 [doi]
• Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementationsAna R. Cavalli, Eliane Martins, Anderson Nunes Paiva Morais. 21-30 [doi]
• Ordering Coverage Goals in Model Checker Based TestingGordon Fraser, Franz Wotawa. 31-40 [doi]
• Testing and Validating the Quality of SpecificationsPieter W. M. Koopman, Peter Achten, Rinus Plasmeijer. 41-52 [doi]
• Automated Test of Interactive Applications Using Task TreesLaya Madani, Ioannis Parissis. 53-62 [doi]
• An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral ModelsValdivino A. Santiago, Nandamudi Lankalapalli Vijaykumar, Danielle Guimarães, Ana Silvia Martins do Amaral, Erica Ferreira. 63-72 [doi]
• Verification of UML/OCL Class Diagrams using Constraint ProgrammingJordi Cabot, Robert Clarisó, Daniel Riera. 73-80 [doi]
• Querying UML Models using OCL and Prolog: A Performance StudyJoanna Chimiak-Opoka, Michael Felderer, Chris Lenz, Christian Lange. 81-88 [doi]
• Using context descriptions and property definition patterns for software formal verificationPhilippe Dhaussy, Julien Auvray, Stéphane de Belloy, Frédéric Boniol, Eric Landel. 89-96 [doi]
• Unit Testing Model Management OperationsDimitrios S. Polack, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack. 97-104 [doi]
• Model transformation testing: oracle issueJean-Marie Mottu, Benoit Baudry, Yves Le Traon. 105-112 [doi]
• Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons LearntAudrey Occello, Anne-Marie Dery-Pinna, Michel Riveill. 113-120 [doi]
• Mastering Specification Heterogeneity with Multifacet AnalysisChristian Attiogbé. 121-130 [doi]
• Heterogeneous colimitsMihai Codescu, Till Mossakowski. 131-140 [doi]
• Checking Properties on the Control of Heterogeneous SystemsChristophe Jacquet, Dominique Marcadet. 141-150 [doi]
• Executing a Standard Compliant Transformation Model on a Non-standard PlatformOlaf Muliawan, Pieter Van Gorp, Anne Keller, Dirk Janssens. 151-160 [doi]
• Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification ProblemAndrea Arcuri, Per Kristian Lehre, Xin Yao. 161-169 [doi]
• The spin on guided random search in verificationThang H. Bui, Albert Nymeyer. 170-177 [doi]
• Searching for Cognitively Diverse Tests: Towards Universal Test Diversity MetricsRobert Feldt, Richard Torkar, Tony Gorschek, Wasif Afzal. 178-186 [doi]
• Strengthening Inferred Specifications using Search Based TestingKamran Ghani, John A. Clark. 187-194 [doi]
• Towards Constraing-Based Local Search for Automatic Test Data GenerationArnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah. 195 [doi]
• Open Problems in Testability TransformationMark Harman. 196-209 [doi]
• Search-based Testing using State-based FitnessRaluca Lefticaru, Florentin Ipate. 210 [doi]
• Hybridizing Evolutionary Testing with Artificial Immune Systems and Local SearchKonstantinos Liaskos, Marc Roper. 211-220 [doi]
• Constraint-based Evolutionary Testing of Autonomous Distributed SystemsCu D. Nguyen, Anna Perini, Paolo Tonella, Fondazione Bruno Kessler. 221-230 [doi]
• Evolutionary Structural Testing of Software with PointersMaria Prutkina, Andreas Windisch. 231 [doi]
• Handling Constraints for Search Based Software Test Data GenerationRamón Sagarna, Xin Yao. 232-240 [doi]
• Investigating the dimensionality problem of Adaptive Random Testing incorporating a local search techniqueChristoph Schneckenburger, Franz Schweiggert. 241-250 [doi]
• Search-Based Testing of Complex Simulink Models containing Stateflow DiagramsRamón Sagarna, Xin Yao. 251 [doi]
• Test generation and execution for security rules in temporal logicVianney Darmaillacq, Jean-Luc Richier, Roland Groz. 252-259 [doi]
• Security policy testing using vulnerability exploit chainingVianney Darmaillacq. 260-261 [doi]
• Detecting Security Vulnerabilities with Software Architecture Analysis ToolsKaarina Karppinen, Mikael Lindvall, Lyly Yonkwa. 262-268 [doi]
• Testing Security Policies for Web ApplicationsWissam Mallouli, Gerardo Morales, Ana R. Cavalli. 269-270 [doi]
• A Runtime Monitoring Environment for Mobile JavaFabio Martinelli, Paolo Mori, Thomas B. Quillinan, Christian Schaefer. 270-278 [doi]
• A Generic Metamodel For Security Policies MutationTejeddine Mouelhi, Franck Fleurey, Benoit Baudry. 278-286 [doi]
• Learning from Software Security TestingInger Anne Tøndel, Martin Gilje Jaatun, Jostein Jensen. 286-294 [doi]
• Security Testing: Turning Practice into TheorySven Türpe. 294-302 [doi]
• When it comes to Testing, is Usability the Closest Analogy to Security?Sven Türpe. 302-304 [doi]
• Incorporating Metrics in an Organizational Test StrategyWasif Afzal, Richard Torkar. 304-315 [doi]
• A universal management and monitoring process for testingKees Blokland. 315-321 [doi]
• Testing ProcessesAnne Mette Jonassen Hass. 321-327 [doi]
• A Test Process for all LifecyclesIan Londesbrough. 327-331 [doi]
• Identifying Pitfalls of System Integration - An Exploratory StudyJ. H. van Moll, J. W. M. Ammerlaan. 331-338 [doi]
• Test Policy: Gaining Control on IT Quality and ProcessesIris Pinkster-O'Riordain. 338-342 [doi]
• The Keystone to Support a Generic Test Process: Separating the "What" from the "How"Mike Smith, Neil Thompson. 342-353 [doi]
• A Benchmarking Suite for Measurement-Based WCET Analysis ToolsSven Bünte, Michael Tautschnig. 353-356 [doi]
• A Workload Model for Benchmarking BPEL EnginesGeorge Din, Klaus-Peter Eckert, Ina Schieferdecker. 356-360 [doi]
• Benchmarking Testing Strategies with Tools from Mutation AnalysisRalph Guderlei, René Just, Christoph Schneckenburger, Franz Schweiggert. 360-364 [doi]
• Multi-Dimensional Measures for Test Case QualityChristian Pfaller, Stefan Wagner, Jörg Gericke, Matthias Wiemann. 364-368 [doi]
• Test Benchmarks - what is the question?Per Runeson, Mats Skoglund, Emelie Engström. 368-371 [doi]
• Balanced FSM Generation for Empirical StudiesSarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw. 371-375 [doi]
• Benchmarking Effectiveness for Object-Oriented Unit TestingAnthony J. H. Simons, Christopher D. Thomson. 375-379 [doi]
• Experience with a Concurrency Bugs BenchmarkYaniv Eytani, Rachel Tzoref, Shmuel Ur. 379-384 [doi]