ICST 2008

First International Conference On Software Testing,

Verification And Validation

Lillehammer, Norway

April 9-11, 2008

Radisson SAS Lillehammer Hotel

Conference Program by Sessions

  1. Breakfast: Day 1: 7am-8:15am. Keynote: 8:45am. Day 2: 7am-8:45am. Keynote: 9:15m.

 

  1. Breaks:

April 10: Morning 10-10:30am. Lunch: Noon-1:15pm. Afternoon: 3-3:30pm.

April 11: Morning 10:30-11am. Lunch: 12:30—2pm. Afternoon: 3:30-4pm.

  1. Sessions: All presentation times below include Q&A.
    1. Regular track (RT). 37 papers. 12 sessions. Approximately 30 minutes per presentation.
    2. Industry track (IT). 18 papers. 5 sessions. Approximately 22 minutes for each regular paper and 15 minutes for each short paper.
    3. Student track (ST).  9 papers. 2 sessions. Approximately 22 minutes for each paper.
    4. Session chairs will determine the precise allocation of time to each presentation and the ensuing Q&A session.
    5. Rooms: W3: Weidermann 3. W4: Weidermann 4. W5: Weidermann 5.

  • Day

    A: 8:30-10am

    Rooms: W4. W5.

    B: 10:30-Noon

     

    C: 1:30-3pm

     

    D: 3:30-5:00pm

     

    0. Wed/April 9

    Workshops [Details to be announced.]

     

    1. Thurs/April 10

    Welcome

     

    Keynote: Annie Combelles:

    Systematic verification and validation: The consequences of not managing software failure risks

     

    RT1/W3

    RT2/W3

    RT3/W3

    RT4/W4

    IT1/W4

    IT2/W4

    RT5/W5

    ST1/W5

    ST2*/W5

     

    A: 9-10:30am

    Rooms: W4. W5.

     

    B: 11-12:30pm

     

    C: 2-3:30pm

     

    D: 4-5:30pm

     

    2. Fri/April 11

    Best paper awards/

     

    Keynote: Mary Jean Harrold

     

    RT6/W3

    RT7/W3

    RT9/W3

    IT3/W4

    RT8/W4

    RT10**/W4

    RT12/W5

    RT11/W5

    IT4/W5

    IT5***/W5

     

    5:45pm: Steering Committee Meeting: W4/W5


    *Session extended to 5:10pm. ** IT4 ends at 4:45pm and IT5 begins. ***IT5 ends at 5:45pm.

     

    Sessions and presentations:

     

    Day 0: April 9. Day 1: April 10. Day 2: April 11. A, B, C, and D correspond to the four time slots each day starting in the morning.

     

    Regular Track: 37 presentations

    Session

    Paper ID: Title: Authors(s): Affiliation(s)

     

    Day.Slot

    RT1

    Test assessment and fault localization-1

     

    42: Efficient test data generation for variables with complex dependencies

     

    Armin Beer and Stefan Mohacsi. Siemens Austria

     

    60: Relationships between test suites, faults, and fault detection in GUI testing

     

    Jaymie Strecker and Atif Memon, University of Maryland, USA

     

    132: Structural testing executables

     

     Sebastien Bardin and Philippe Herrmann, CEA, LIST, France

     

    1B

    RT2

    Test assessment and fault localization-2

     

    173: Generation of all-paths unit test with function calls

     

    Patricia Mouy, Bruno Marre, Nicky Williams, and Pascale Le Gall,  CEA, LIST, France

     

    180: A crosstab-based statistical method for effective fault localization,

     

    Eric Wong, Tingting Wei, Lei Zhao, and Yu Qi, University of Texas, Dalla, USA

     

    188: Mutation Testing for Aspect-Oriented Programs

     

    Fabiano Cutigi Ferrari, University of Sao Paulo, Brazil and  Lancaster University, UK; Jose Carlos Maldonado, ICMC-USP, Brazil;  and Awais Rashid,  Lancaster University, UK

     

    1C

    RT3

    Test assessment and fault localization-3

     

    197: Evaluating automated unit testing in SULU

     

    Roy Patrick Tan and Stephen Edwards, Virginia Tech, USA

     

    211: On the predictability of random tests for object-oriented software

     

    Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, and Bertrand Meyer, ETH  Z?rich, Switzerland

     

    269: Less is more: A minimalistic approach to UML model-based conformance test generation

     

    Amit Paradkar, Matthew Kaplan, Tim Klinger, Avik Sinha, Clay Williams, and Cemal Yilmaz, IBM, USA

     

    1D

    RT4

    Testing Real-time systems

     

    9: Traffic-aware stress testing of distributed real-time systems based on UML models in the presence of time uncertainty

     

    Vahid Garousi., University of Calgary, Canada

     

    92: Scheduling timed modules for correct resource sharing

     

    Cristina Seceleanu, Paul Pettersson, and Hans Hansson,  Malardalen University, Sweden

     

    209: Testability of dynamic real-time systems: An empirical study of constrained execution environment implications

     

    Birgitta Lindstrom, University of Skovde, Sweden; Jeff Offutt George Mason University, USA; and Sten F. Andler,  University of Skovde, Sweden

     

    1B

    RT5

    Testing Web applications

     

    54: State-based testing of Ajax web applications

     

    Alessandro Marchetto,  Fondazione Bruno Kessler - IRST- Italy; Paolo Tonella,  Fondazione Bruno Kessler - IRST- Italy; and Filippo Ricca,  Unita' CINI at DISI - Italy

     

    59: A three-tiered testing strategy for cookies

     

    Andrew Tappenden and James Miller, University of Alberta, Canada

     

    262: Prioritizing user-session-based test cases for web application testing

     

    Sreedevi Sampath, University of Maryland, Baltimore County; Renee Bryce, University of Nevada, Las Vegas; Gokulanand Viswanath, University of Maryland, Baltimore County; Vani Kandimalla, University of Nevada, Las Vegas; and Gunes Koru,  University of Maryland, Baltimore County, USA 

     

    1B

    RT6

    Regression testing and OO testing-1

     

    31: Trace-based reflexive testing of OO programs

     

    Wishnu Prasetya, Utrecht University, Netherlands; Tanya Vos, and Arthur Baars,  Instituto Tecnologico de Informatica, Univ. Polit. de Valencia, Spain

     

    128: Relation between depth of inheritance tree and number of methods to test

     

    Muhammad Rabee Shaheen, LIG - Universitas de Grenoble; and Lydie De Bousquet, LSR-IMAG, France

     

    254: Testing consequences of grime buildup in object oriented design patterns

    Clemente Izurieta and James Bieman, Colorado State University, USA

     

    2B

    RT7

    Model based testing-1

     

    64: Contract-based verification for aspect-oriented refactoring

     

    Naoyasu Ubayashi, Jinji Piao, and Suguru Shinotsuka, Kyushu Institute of Technology; and Tetsuo Tamai, University of Tokyo, Japan

     

    67: Testing Java components based on algebraic specifications

     

    Bo Yu, Liang Kong, Yufeng Zhang, National University of Defense Technology; and Hong Zhu, Oxford Brooks University, UK

     

    111: UML activity diagram based testing of Java concurrent programs for data race and inconsistency

     

    Bin Lei, Linzhang Wang, and Xuandong Li, Nanjing University, China

     

     

    2C

    RT8

    Test process and tools-1

     

    28: Testing grid application workflows using TTCN-3

     

    Jens Grabowski, Helmut Neukirchen, and Thomas Rings, University of Gottingen, Germany

     

    41: Mining software repositories to study co-evolution of production & test code

     

    Andy Zaidman, TUY Delft, Netherlands; Bart Van Rompaey, Serge Demeyer, University of Antwerp, Belgium; and Arie van Deursen, Delft University of Technology, Netherlands

     

    82: The use of intra-release product measures in predicting release readiness

     

    M.P. Ware, F.G. Wilkie, and M. Shapcott, University of Ulster, UK

     

    2C

    RT9

    Test process and tools-2

     

    147: Test-driven assessment of access control in legacy application

     

    Yves Le Traon, Tejeddine Mouelhi, ENST Bretagne – GET, France;  Alexander Pretschner,   ETH Zurich, Switzerland; and Benoit Baudry. INRIA, France

     

    170: An evaluation of two bug pattern tools for Java

     

    Stefan Wagner, Florian Deissenboeck, TU Muenchen; Michael Aichner, beck et al. projects GmBH; Johann Wimmer, Cirquent GmBH; and Markus Schwalb, MobileX, Germany

     

    279: Tool support for expert-centred code assessments

     

    Reinhold Ploesch, Harold Gruber, Gustav Pomberger,  Johannes Kepler University, Austria; Matthias Saft, Siemens AG, Germany; and Stefan Schiffer, Johannes Kepler University, Austria

     

    2D

    RT10

    Regression testing and OO testing-2


    205: Empirical software change impact analysis using singular value decomposition

    Mark Sherriff, University of Virginia; and Laurie Williams, North Carolina State University, USA


    235: An empirical study on Bayesian network-based approach for test case prioritization


    Siavash Mirarab and Ladan Tahvildari, University of Waterloo, Canada


    225: A metamodel for object-oriented software metrics: An analysis using alloy


    Jacqueline McQuillan and James Power, National University of Ireland, Ireland


    272: Automated Repair of Session Data to Improve Web Application Regression Testing


    Nadia Alshahwan National Company for Cooperative Insurance, Saudi Arabia; and Mark Harman, Kings College London, UK

    2D

    RT11

    Model based testing-2


    198: Extended finite state machine based test derivation driven by user defined faults


    Khaled El-Fakih, Verimag, France American U of Sharjah UAE; Anton Kolomeez, Svetlana Prokopenko, and Nina Yevtushenko, Tomsk State University, Russia


    203: Simulation of multi-formalism models with ModHelX


    Frederic Boulanger and Cecile Hardebolle, Supelec, France


    271: On combining multi-formalism knowledge to select models for model transformation testing


    Sagar Sen, McGill University, Canada; Benoit Baudry, INRIA; and Jean-Marie Mottu, IRISA/INRIA, France

    2C

    RT12

    Model based testing-3


    137: Model-based tests for access control policies


    Alexander Pretschner, ETH Zurich, Switzerland; Tejeddine Mouelhi, ENST Bretagne, Rennes; and Yves Le Traon, ENST Bretagne–GET, France


    168: Generating Test requirements for the service connections based on the layers of SOA


    Hoijin Yoon, Hyupsung University; Eun Mi Ji, and Byoungju Choi, Ehwa Womans University, South Korea


    294: Detecting and repairing inconsistencies across heterogeneous models


    Dimitrios S. Kolovos, Richard Paige, and Fiona Polack, University of York, UK

    2B



    Industry Track: 19 presentations

    Session

    Paper ID: Title: Authors(s): Affiliation(s)

     

    Day.Slot

    IT1

    Model Based testing

     

    179: Model based testing of system requirements using UML use case models

    Bill Hasling, Siemens, USA; Helmut Goetz, and Klaus Beetz, Siemens, Germany


    252: Test instrumentation and pattern matching for automatic failure identification

     

    Dan Travison and Geoff Staneff, Microsoft Corporation, USA

     

    268: Comparing aspects with conventional techniques for increasing testability

     

    Jani Metsa, Nokia Corporation;  Mika Katara, and Tommi Mikkonen, Tampere University of Technology, Finland

     

    295: Test data provision for ERP systems

     

    Sebastian Wieczorek, Alin Stefanescu, SAP Research; and Ina Schieferdecker, TU Berlin/Fraunhofer FOKUDS, Germany

     

    1C

    IT2

    Test Process, organization, and tools

     

    66: Selective homeworkless review

     

    Eitan Farchi and Shmuel Ur, IBM HRL, Isreal

     

    83: Designing and building a software test organization

     

    Bruce Benton, Microsoft, Denmark

     

    118: Challenges and solutions in test staff relocations within a software consultancy company

     

    Daniel Larsson, TestCenter, Cybercom South AB;  Robert Feldt, Blekinge Inst of Tech; and H?kan Bertilsson, TestCenter, Cybercom South AB, Sweden


    124: The role of stability testing in heterogeneous application environment

     

    Krzysztof Rogoz and Thomasz Padlo, Motorola Inc., Poland

     

    1D

    IT3

    Testing specialized software

     

    62: Testing Predictive Software in Mobile Devices

     

    Raghunath Vemuri, Motorola Inc., India

     

    139: A script-based testbed for mobile software frameworks

     

    Walter Hargassner, Thomas Hofer, Claus Klammer, Josef Pichler, Software Competence Center Hagenberg GmbH and Gernot Reisinger, COMNEON electronic technology GmbH & Co. OHG, Germany

     

    201: Automation method for testing XML/DB/XML layer

     

    Debarshi Raha and Mohan Jadhav, IBM, India

     

    240: An industrial case study of bypass testing on web applications

     

    Jeff Offutt, Qingxiang Wang, George Mason University; and Joann Ordille, Avaya Research Labs, USA

     

    2B

    IT4

    Test, validation, and fault localization

     

    138: Pre-testing flash device driver through model checking techniques

     

    Moonzoo Kim, CS Dept. Korean Advanced Institute of Science and Technology; Yunja Choi, Kyungpook National University; Yunho Kim, CS dept. KAIST; and Hotae Kim, Software Laboratories Samsung Electronics, South Korea

     

    214: Model-based testing of automotive systems

     

    Eckard Bringmann, and Andreas Kramer, PikeTec GmbH, Germany

     

    2D

    IT5

    Test and validation [Short papers]

     

    141: How to test the intangible properties of graphical user interfaces

     

    Josef Pichler and Rudolf Ramler, Software Competence Center Hagenberg GmbH, Austria

     

    239: Workflow Inspector – A test tool for Microsoft workflow foundation

     

    Alexander Lechner, Telekom Austria/world-direct;  and Ruth Breu, Research Group Quality Engineering, Austria

     

    259: Model-based quality assurance of windows protocol documentation

     

    Wolfgang Grieskamp, Microsoft Research; Dave MacDonald, Nico Kicillof, Alok Nandan, Keith Stobie, and Fred Wurden, Microsoft, USA

     

    283: The test manager drives the project to a win

     

    Fabian Scarano, PA consulting, Denmark

     

    2D

    Student Track: 9 presentations

    Session

    Paper ID: Title: Authors(s): Affiliation(s)

     

    Day.Slot

    ST1

    Test and validation-1

     

    320: Distributed in Vivo testing of software applications

     

    Matt Chu, Christian Murphy, and Gail Kaiser, Columbia University, USA

     

    321: A methodology for UML models V&V

     

    Andrea Baruzzo and Marco Comini., University of Udine, Italy

     

    322: Quality of automatically generated test cases based on OCL expressions

     

    Stephan Weissleder, Humboldt-Universitaet zu Berlin; and Holger Schlingloff. Fraunhofer FIRST and Humboldt University, Germany

     

    328: Improving automated testing of multi-threaded software

     

    Ayla Dantas, Francisco Brasileiro, and Walfredo Cirne, Laboratorio de Sistemas Distribuidos, Universidade Federal de Campina Grande, Brazil

     

    1C

    ST2

    Test and validation-2

     

    323: Functional search-based testing from state machines

     

    Raluca Lefticaru and Florentin Ipate, University of Pitesti, Romania

     

     

    329: Verifying and analyzing adaptive logic through UML state models

     

    Andres Ramirez and Betty Cheng, Michigan State University, USA

     

     

    333: Statistical sampling based approach to alleviate log replay testing

     

    Ravidutta Kodre, Hadar Ziv, and Debra Richardson, University of California, Irvine, USA

     

    334: A fitness function to find feasible sequences of method calls for evolutionary testing of object-oriented programs

     

    Myoung Kim and Yoonsik Cheon, The University of Texas at El Paso, USA

     

    335: A JML compiler based on AspectJ

     

    Henrique Rebelo, Ricardo Lima, Marcio Cornelio, and Sergio Soares, Computing Systems Department, UPE, Brazil

    1D