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