Abstract is missing.
- From Test Purposes to Asynchronous Test CasesAdenilso da Silva Simão, Adenilso Petrenko. 1-10 [doi]
- Modelling Requirements to Support Testing of Product LinesChristopher Robinson-Mallett, Matthias Grochtmann, Joachim Wegener, Jens Köhnlein, Steffen Kühn. 11-18 [doi]
- A Measurement Framework for Assessing Model-Based Testing QualityPeter B. Lakey. 19-27 [doi]
- Effort Comparison for Model-Based Testing ScenariosBaris Güldali, Michael Mlynarski, Yavuz Sancar. 28-36 [doi]
- Generating Minimal Fault Detecting Test Suites for Boolean ExpressionsGordon Fraser, Angelo Gargantini. 37-45 [doi]
- Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability RelationE. Akenshina, Natalia Shabaldina, Nina Yevtushenko. 46-53 [doi]
- Test Generation Based on Abstraction and Test Purposes to Complement Structural TestsFabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson. 54-61 [doi]
- A Preliminary Study on BPEL Process TestabilitySébastien Salva, Issam Rabhi. 62-71 [doi]
- Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control PoliciesYves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry. 72-79 [doi]
- A Manifesto for Higher Order Mutation TestingMark Harman, Yue Jia, William B. Langdon. 80-89 [doi]
- An Empirical Evaluation of the First and Second Order Mutation Testing StrategiesMike Papadakis, Nicos Malevris. 90-99 [doi]
- Semantic Mutation TestingJohn A. Clark, Haitao Dan, Robert M. Hierons. 100-109 [doi]
- Mutation at System and Functional LevelsPedro Reales Mateo, Macario Polo Usaola, Jeff Offutt. 110-119 [doi]
- Implementation-Oriented Mutation Testing of Statechart ModelsMark Trakhtenbrot. 120-125 [doi]
- Type Sensitive Application of Mutation Operators for Dynamically Typed ProgramsLeonardo Bottaci. 126-131 [doi]
- Applying Mutation Testing to Web ApplicationsUpsorn Praphamontripong, Jeff Offutt. 132-141 [doi]
- Quantitative Evaluation of Mutation Operators for WS-BPEL CompositionsAntonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo. 142-150 [doi]
- Mutation Operators for Agent-Based ModelsSalem F. Adra, Phil McMinn. 151-156 [doi]
- Mutation Operators for Actor SystemsVilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha. 157-162 [doi]
- Integrating Model-Based Testing with Evolutionary Functional TestingFelix F. Lindlar, Andreas Windisch, Joachim Wegener. 163-172 [doi]
- Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce FaultsArthur I. Baars, Tanja E. J. Vos, Dimitar M. Dimitrov. 173-181 [doi]
- Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost ProblemMark Harman, Sung-Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo. 182-191 [doi]
- Metamorphic Testing of Stochastic OptimisationShin Yoo. 192-201 [doi]
- Considering Signal Constraints in Search-Based Testing of Continuous SystemsBenjamin Wilmes, Andreas Windisch. 202-211 [doi]
- Searching for Safety Violations Using Estimation of Distribution AlgorithmsJan Staunton, John A. Clark. 212-221 [doi]
- Empirical Study on the Efficiency of Search Based Test Generation for EFSM ModelsRuilian Zhao, Mark Harman, Zheng Li. 222-231 [doi]
- Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter ProblemAbdul Salam Kalaji, Robert M. Hierons, Stephen Swift. 232-235 [doi]
- Generating Feasible Test Paths from an Executable Model Using a Multi-objective ApproachThaise Yano, Eliane Martins, Fabiano Luis de Sousa. 236-239 [doi]
- Using Methods & Measures from Network Analysis for GUI TestingEthar Elsaka, Walaa Eldin Moustafa, Bao N. Nguyen, Atif M. Memon. 240-246 [doi]
- Performance Testing of GUI ApplicationsMilan Jovic, Matthias Hauswirth. 247-251 [doi]
- A Framework for GUI Testing Based on Use Case DesignCristiano Bertolini, Alexandre Mota. 252-259 [doi]
- On Modeling of GUI Test ProfileLei Zhao, Kai-Yuan Cai. 260-264 [doi]
- Message Broker Using Asynchronous Method Invocation in Web Service and Its EvaluationFan Bai, Wang Tao. 265-273 [doi]
- Rich Internet Application Testing Using Execution Trace DataDomenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana. 274-283 [doi]
- Test Coverage Analysis of UML State MachinesRicardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva. 284-289 [doi]
- Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven ApproachKristopher Welsh, Peter Sawyer. 290-298 [doi]
- QoS-Based Model Driven Assessment of Adaptive Reactive SystemsDiego Perez-Palacin, Raffaela Mirandola, José Merseguer, Vincenzo Grassi. 299-308 [doi]
- A Dynamic Behaviour and Reliability Evaluation Method for Applications That Are Based on Asynchronous Processing NodesMarko Palviainen. 309-318 [doi]
- A Demo on Using Visualization to Aid Run-Time Verification of Dynamic Service SystemsJarkko Kuusijärvi. 319-324 [doi]
- Generating Distinguishing Tests Using the Minion Constraint SolverFranz Wotawa, Mihai Nica, Bernhard K. Aichernig. 325-330 [doi]
- Applications of Optimization to Logic TestingGarrett Kent Kaminski, Paul Ammann. 331-336 [doi]
- A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data StructuresRohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov. 337-342 [doi]
- SAT Solvers for Queries over Tree Automata with ConstraintsPierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko. 343-348 [doi]
- Using Constraints to Verify Properties of Rule ProgramsBruno Berstel, Michel Leconte. 349-354 [doi]
- Model-Based Testing Using Symbolic Animation and Machine LearningPierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam. 355-360 [doi]
- Model-Checking Driven Security Testing of Web-Based ApplicationsAlessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino. 361-370 [doi]
- Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause SequencesDumitru Ceara, Laurent Mounier, Marie-Laure Potet. 371-380 [doi]
- Towards Security Vulnerability Detection by Source Code Model CheckingKeqin Li. 381-387 [doi]
- Functional Programming Way to Interact with Software Attacks and VulnerabilitiesVioleta Damjanovic, Dragan Djuric. 388-393 [doi]
- Practical Experience Gained from Passive Testing of Web Based SystemsAlessandra Bagnato, Fabio Raiteri, Wissam Mallouli, Bachar Wehbi. 394-402 [doi]
- Some Modeling Challenges When Testing Rich Internet Applications for SecurityKamara Benjamin, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut. 403-409 [doi]
- Honeyware: A Web-Based Low Interaction Client HoneypotYaser Alosefer, Omer Rana. 410-417 [doi]
- Software Testing as an Online Service: Observations from PracticeLeah Muthoni Riungu, Ossi Taipale, Kari Smolander. 418-423 [doi]
- When to Migrate Software Testing to the Cloud?Tauhida Parveen, Scott R. Tilley. 424-427 [doi]
- Large-Scale Software Testing Environment Using Cloud Computing Technology for Dependable Parallel and Distributed SystemsToshihiro Hanawa, Takayuki Banzai, Hitoshi Koizumi, Ryo Kanbayashi, Takayuki Imada, Mitsuhisa Sato. 428-433 [doi]
- YETI on the CloudManuel Oriol, Faheem Ullah. 434-437 [doi]
- Migrating Autonomic Self-Testing to the CloudTariq M. King, Annaji Sharma Ganti. 438-443 [doi]
- Supporting Test-Driven Development of Graphical User Interfaces Using Agile Interaction DesignTheodore D. Hellmann, Ali Hosseini-Khayat, Frank Maurer. 444-447 [doi]
- Overcoming Obstacles to Test-Driven Learning on Day OneJohn Clements, David S. Janzen. 448-453 [doi]
- Software Testing Using Test SheetsColin Atkinson, Florian Barth, Daniel Brenner. 454-459 [doi]
- LiFT: Driving Development Using a Business-Readable DSL for Web TestingRobert Chatley, John Ayres, Tom White. 460-468 [doi]
- Most Common Mistakes in Test-Driven Development Practice: Results from an Online Survey with DevelopersMauricio Finavaro Aniche, Marco Aurélio Gerosa. 469-478 [doi]