1. ICST 2008: Lillehammer, Norway

• Armin Beer, Stefan Mohacsi:
  Efficient Test Data Generation for Variables with Complex Dependencies. 3-11
  
• Jaymie Strecker, Atif M. Memon:
  Relationships between Test Suites, Faults, and Fault Detection in GUI Testing. 12-21
  
• Sébastien Bardin, Philippe Herrmann:
  Structural Testing of Executables. 22-31
  
• Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall:
  Generation of All-Paths Unit Test with Function Calls. 32-41
  
• W. Eric Wong, Tingting Wei, Yu Qi, Lei Zhao:
  A Crosstab-based Statistical Method for Effective Fault Localization. 42-51
  
• Fabiano Cutigi Ferrari, José Carlos Maldonado, Awais Rashid:
  Mutation Testing for Aspect-Oriented Programs. 52-61
  
• Roy Patrick Tan, Stephen Edwards:
  Evaluating Automated Unit Testing in Sulu. 62-71
  
• Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
  On the Predictability of Random Tests for Object-Oriented Software. 72-81
  
• Matthew Kaplan, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz:
  Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. 82-91
  
• Vahid Garousi:
  Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty. 92-101
  
• Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
  Scheduling Timed Modules for Correct Resource Sharing. 102-111
  
• Birgitta Lindström, A. Jefferson Offutt, Sten F. Andler:
  Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications. 112-120
  
• Alessandro Marchetto, Paolo Tonella, Filippo Ricca:
  State-Based Testing of Ajax Web Applications. 121-130
  
• Andrew Tappenden, James Miller:
  A Three-Tiered Testing Strategy for Cookies. 131-140
  
• Sreedevi Sampath, Renée C. Bryce, Gokulanand Viswanath, Vani Kandimalla, Afik Günes Koru:
  Prioritizing User-Session-Based Test Cases for Web Applications Testing. 141-150
  
• Wishnu Prasetya, Tanya Vos, Arthur Baars:
  Trace-based Reflexive Testing of OO Programs with T2. 151-160
  
• Lydie du Bousquet, Muhammad Rabee Shaheen:
  Relation between Depth of Inheritance Tree and Number of Methods to Test. 161-170
  
• Clemente Izurieta, James M. Bieman:
  Testing Consequences of Grime Buildup in Object Oriented Design Patterns. 171-179
  
• Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai:
  Contract-Based Verification for Aspect-Oriented Refactoring. 180-189
  
• Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu:
  Testing Java Components based on Algebraic Specifications. 190-199
  
• Bin Lei, Linzhang Wang, Xuandong Li:
  UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. 200-209
  
• Thomas Rings, Helmut Neukirchen, Jens Grabowski:
  Testing Grid Application Workflows Using TTCN-3. 210-219
  
• Andy Zaidman, Bart Van Rompaey, Serge Demeyer, Arie van Deursen:
  Mining Software Repositories to Study Co-Evolution of Production & Test Code. 220-229
  
• M. P. Ware, F. George Wilkie, Mary Shapcott:
  The Use of Intra-Release Product Measures in Predicting Release Readiness. 230-237
  
• Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry:
  Test-Driven Assessment of Access Control in Legacy Applications. 238-247
  
• Stefan Wagner, Florian Deissenboeck, Michael Aichner, Johann Wimmer, Markus Schwalb:
  An Evaluation of Two Bug Pattern Tools for Java. 248-257
  
• Reinhold Plösch, Harald Gruber, Gustav Pomberger, Matthias Saft, Stefan Schiffer:
  Tool Support for Expert-Centred Code Assessments. 258-267
  
• Mark Sherriff, Laurie Williams:
  Empirical Software Change Impact Analysis using Singular Value Decomposition. 268-277
  
• Siavash Mirarab, Ladan Tahvildari:
  An Empirical Study on Bayesian Network-based Approach for Test Case Prioritization. 278-287
  
• Jacqueline A. McQuillan, James F. Power:
  A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy. 288-297
  
• Mark Harman, Nadia Alshahwan:
  Automated Session Data Repair for Web Application Regression Testing. 298-307
  
• Khaled El-Fakih, Anton Kolomeez, Svetlana Prokopenko, Nina Yevtushenko:
  Extended Finite State Machine Based Test Derivation Driven by User Defined Faults. 308-317
  
• Frédéric Boulanger, Cécile Hardebolle:
  Simulation of Multi-Formalism Models with ModHel’X. 318-327
  
• Sagar Sen, Benoit Baudry, Jean-Marie Mottu:
  On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. 328-337
  
• Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon:
  Model-Based Tests for Access Control Policies. 338-347
  
• Hoijin Yoon, Eun Mi Ji, Byoungju Choi:
  Generating Test Requirements for the Service Connections based on the Layers of SOA. 348-355
  
• Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
  Detecting and Repairing Inconsistencies across Heterogeneous Models. 356-364
  
• Bill Hasling, Helmut Goetz, Klaus Beetz:
  Model Based Testing of System Requirements using UML Use Case Models. 367-376
  
• Dan Travison, Geoff Staneff:
  Test Instrumentation and Pattern Matching for Automatic Failure Identification. 377-386
  
• Jani Metsä, Mika Katara, Tommi Mikkonen:
  Comparing Aspects with Conventional Techniques for Increasing Testability. 387-395
  
• Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker:
  Test Data Provision for ERP Systems. 396-403
  
• Eitan Farchi, Shmuel Ur:
  Selective Homeworkless Reviews. 404-413
  
• Bruce Benton:
  Designing and Building a Software Test Organization. 414-422
  
• Daniel Larsson, Håkan Bertilsson, Robert Feldt:
  Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company. 423-431
  
• Krzysztof Rogoz, Tomasz Padlo:
  The Role of Stability Testing in Heterogeneous Application Environment. 432-439
  
• Venkata Raghunath Vemuri:
  Testing Predictive Software in Mobile Devices. 440-447
  
• Walter Hargassner, Thomas Hofer, Claus Klammer, Josef Pichler, Gernot Reisinger:
  A Script-Based Testbed for Mobile Software Frameworks. 448-457
  
• Debarshi Raha, Mohan Jadhav:
  Automation Method for Testing XML/DB/XML Layers. 458-464
  
• Jeff Offutt, Qingxiang Wang, Joann J. Ordille:
  An Industrial Case Study of Bypass Testing on Web Applications. 465-474
  
• Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim:
  Pre-testing Flash Device Driver through Model Checking Techniques. 475-484
  
• Eckard Bringmann, Andreas Krämer:
  Model-Based Testing of Automotive Systems. 485-493
  
• Josef Pichler, Rudolf Ramler:
  How to Test the Intangible Properties of Graphical User Interfaces? 494-497
  
• Alexander Lechner, Ruth Breu:
  Workflow Inspector – A Test Tool for Microsoft Workflow Foundation. 498-501
  
• Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden:
  Model-Based Quality Assurance of Windows Protocol Documentation. 502-506
  
• Matt Chu, Christian Murphy, Gail E. Kaiser:
  Distributed In Vivo Testing of Software Applications. 509-512
  
• Andrea Baruzzo, Marco Comini:
  A Methodology for UML Models V&V. 513-516
  
• Stephan Weißleder, Bernd-Holger Schlingloff:
  Quality of Automatically Generated Test Cases based on OCL Expressions. 517-520
  
• Ayla Dantas, Francisco Vilar Brasileiro, Walfredo Cirne:
  Improving Automated Testing of Multi-threaded Software. 521-524
  
• Raluca Lefticaru, Florentin Ipate:
  Functional Search-based Testing from State Machines. 525-528
  
• Andres J. Ramirez, Betty H. C. Cheng:
  Verifying and Analyzing Adaptive Logic through UML State Models. 529-532
  
• Ravidutta Kodre, Hadar Ziv, Debra J. Richardson:
  Statistical Sampling Based Approach to Alleviate Log Replay Testing. 533-536
  
• Myoung Kim, Yoonsik Cheon:
  A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. 537-540
  
• Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares:
  A JML Compiler Based on AspectJ. 541-544