AMOST/QuoMBaT Workshop

• 
  Adenilso da Silva Simão, Adenilso Petrenko: From Test Purposes to Asynchronous Test Cases. 1-10
• 
  Christopher Robinson-Mallett, Matthias Grochtmann, Joachim Wegener, Jens Köhnlein, Steffen Kühn: Modelling Requirements to Support Testing of Product Lines. 11-18
• 
  Peter B. Lakey: A Measurement Framework for Assessing Model-Based Testing Quality. 19-27
• 
  Baris Güldali, Michael Mlynarski, Yavuz Sancar: Effort Comparison for Model-Based Testing Scenarios. 28-36
• 
  Gordon Fraser, Angelo Gargantini: Generating Minimal Fault Detecting Test Suites for Boolean Expressions. 37-45
• 
  E. Akenshina, Natalia Shabaldina, Nina Yevtushenko: Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. 46-53
• 
  Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson: Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. 54-61
• 
  Sébastien Salva, Issam Rabhi: A Preliminary Study on BPEL Process Testability. 62-71
• 
  Yves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry: Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies. 72-79

Mutation Workshop

• 
  Mark Harman, Yue Jia, William B. Langdon: A Manifesto for Higher Order Mutation Testing. 80-89
• 
  Mike Papadakis, Nicos Malevris: An Empirical Evaluation of the First and Second Order Mutation Testing Strategies. 90-99
• 
  John A. Clark, Haitao Dan, Robert M. Hierons: Semantic Mutation Testing. 100-109
• 
  Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt: Mutation at System and Functional Levels. 110-119
• 
  Mark Trakhtenbrot: Implementation-Oriented Mutation Testing of Statechart Models. 120-125
• 
  Leonardo Bottaci: Type Sensitive Application of Mutation Operators for Dynamically Typed Programs. 126-131
• 
  Upsorn Praphamontripong, Jeff Offutt: Applying Mutation Testing to Web Applications. 132-141
• 
  Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo: Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. 142-150
• 
  Salem F. Adra, Phil McMinn: Mutation Operators for Agent-Based Models. 151-156
• 
  Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha: Mutation Operators for Actor Systems. 157-162

SBST Workshop

• 
  Felix F. Lindlar, Andreas Windisch, Joachim Wegener: Integrating Model-Based Testing with Evolutionary Functional Testing. 163-172
• 
  Arthur I. Baars, Tanja E. J. Vos, Dimitar M. Dimitrov: Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults. 173-181
• 
  Mark Harman, Sung Gon Kim, Kiran Lakhotia, Phil McMinn, Shin Yoo: Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem. 182-191
• 
  Shin Yoo: Metamorphic Testing of Stochastic Optimisation. 192-201
• 
  Benjamin Wilmes, Andreas Windisch: Considering Signal Constraints in Search-Based Testing of Continuous Systems. 202-211
• 
  Jan Staunton, John A. Clark: Searching for Safety Violations Using Estimation of Distribution Algorithms. 212-221
• 
  Ruilian Zhao, Mark Harman, Zheng Li: Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models. 222-231
• 
  Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift: Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. 232-235
• 
  Thaise Yano, Eliane Martins, Fabiano Luis de Sousa: Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach. 236-239

TESTBEDS Workshop

• 
  Ethar Elsaka, Walaa Eldin Moustafa, Bao N. Nguyen, Atif M. Memon: Using Methods & Measures from Network Analysis for GUI Testing. 240-246
• 
  Milan Jovic, Matthias Hauswirth: Performance Testing of GUI Applications. 247-251
• 
  Cristiano Bertolini, Alexandre Mota: A Framework for GUI Testing Based on Use Case Design. 252-259
• 
  Lei Zhao, Kai-Yuan Cai: On Modeling of GUI Test Profile. 260-264
• 
  Fan Bai, Wang Tao: Message Broker Using Asynchronous Method Invocation in Web Service and Its Evaluation. 265-273
• 
  Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana: Rich Internet Application Testing Using Execution Trace Data. 274-283
• 
  Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva: Test Coverage Analysis of UML State Machines. 284-289

ViDaS Workshop

• 
  Kristopher Welsh, Peter Sawyer: Managing Testing Complexity in Dynamically Adaptive Systems: A Model-Driven Approach. 290-298
• 
  Diego Perez-Palacin, Raffaela Mirandola, José Merseguer, Vincenzo Grassi: QoS-Based Model Driven Assessment of Adaptive Reactive Systems. 299-308
• 
  Marko Palviainen: A Dynamic Behaviour and Reliability Evaluation Method for Applications That Are Based on Asynchronous Processing Nodes. 309-318
• 
  Jarkko Kuusijärvi: A Demo on Using Visualization to Aid Run-Time Verification of Dynamic Service Systems. 319-324

CSTVA Workshop

• 
  Franz Wotawa, Mihai Nica, Bernhard K. Aichernig: Generating Distinguishing Tests Using the Minion Constraint Solver. 325-330
• 
  Garrett Kent Kaminski, Paul Ammann: Applications of Optimization to Logic Testing. 331-336
• 
  Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov: A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. 337-342
• 
  Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko: SAT Solvers for Queries over Tree Automata with Constraints. 343-348
• 
  Bruno Berstel, Michel Leconte: Using Constraints to Verify Properties of Rule Programs. 349-354
• 
  Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam: Model-Based Testing Using Symbolic Animation and Machine Learning. 355-360

MDV Workshop

• 
  Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino: Model-Checking Driven Security Testing of Web-Based Applications. 361-370
• 
  Dumitru Ceara, Laurent Mounier, Marie-Laure Potet: Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. 371-380
• 
  Keqin Li: Towards Security Vulnerability Detection by Source Code Model Checking. 381-387
• 
  Violeta Damjanovic, Dragan Djuric: Functional Programming Way to Interact with Software Attacks and Vulnerabilities. 388-393
• 
  Alessandra Bagnato, Fabio Raiteri, Wissam Mallouli, Bachar Wehbi: Practical Experience Gained from Passive Testing of Web Based Systems. 394-402
• 
  Kamara Benjamin, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut: Some Modeling Challenges When Testing Rich Internet Applications for Security. 403-409
• 
  Yaser Alosefer, Omer Rana: Honeyware: A Web-Based Low Interaction Client Honeypot. 410-417

STITC Workshop

• 
  Leah Muthoni Riungu, Ossi Taipale, Kari Smolander: Software Testing as an Online Service: Observations from Practice. 418-423
• 
  Tauhida Parveen, Scott R. Tilley: When to Migrate Software Testing to the Cloud? 424-427
• 
  Toshihiro Hanawa, Takayuki Banzai, Hitoshi Koizumi, Ryo Kanbayashi, Takayuki Imada, Mitsuhisa Sato: Large-Scale Software Testing Environment Using Cloud Computing Technology for Dependable Parallel and Distributed Systems. 428-433
• 
  Manuel Oriol, Faheem Ullah: YETI on the Cloud. 434-437
• 
  Tariq M. King, Annaji Sharma Ganti: Migrating Autonomic Self-Testing to the Cloud. 438-443

TDD Workshop

• 
  Theodore D. Hellmann, Ali Hosseini-Khayat, Frank Maurer: Supporting Test-Driven Development of Graphical User Interfaces Using Agile Interaction Design. 444-447
• 
  John Clements, David S. Janzen: Overcoming Obstacles to Test-Driven Learning on Day One. 448-453
• 
  Colin Atkinson, Florian Barth, Daniel Brenner: Software Testing Using Test Sheets. 454-459
• 
  Robert Chatley, John Ayres, Tom White: LiFT: Driving Development Using a Business-Readable DSL for Web Testing. 460-468
• 
  Mauricio Finavaro Aniche, Marco Aurélio Gerosa: Most Common Mistakes in Test-Driven Development Practice: Results from an Online Survey with Developers. 469-478

last updated on Mon May 20 02:13:30 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page