Search dblp for Publications

export results for "toc:db/conf/icst/icst2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icst/BardinH08,
  author       = {S{\'{e}}bastien Bardin and
                  Philippe Herrmann},
  title        = {Structural Testing of Executables},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {22--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.8},
  doi          = {10.1109/ICST.2008.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BardinH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BaruzzoC08,
  author       = {Andrea Baruzzo and
                  Marco Comini},
  title        = {A Methodology for {UML} Models V{\&}V},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {513--516},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.66},
  doi          = {10.1109/ICST.2008.66},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BaruzzoC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BeerM08,
  author       = {Armin Beer and
                  Stefan Mohacsi},
  title        = {Efficient Test Data Generation for Variables with Complex Dependencies},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {3--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.10},
  doi          = {10.1109/ICST.2008.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BeerM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Benton08,
  author       = {Bruce Benton},
  title        = {Designing and Building a Software Test Organization},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {414--422},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.49},
  doi          = {10.1109/ICST.2008.49},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Benton08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BoulangerH08,
  author       = {Fr{\'{e}}d{\'{e}}ric Boulanger and
                  C{\'{e}}cile Hardebolle},
  title        = {Simulation of Multi-Formalism Models with ModHel'X},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {318--327},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.15},
  doi          = {10.1109/ICST.2008.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BoulangerH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BousquetS08,
  author       = {Lydie du Bousquet and
                  Muhammad Rabee Shaheen},
  title        = {Relation between Depth of Inheritance Tree and Number of Methods to
                  Test},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {161--170},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.34},
  doi          = {10.1109/ICST.2008.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BousquetS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BringmannK08,
  author       = {Eckard Bringmann and
                  Andreas Kr{\"{a}}mer},
  title        = {Model-Based Testing of Automotive Systems},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {485--493},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.45},
  doi          = {10.1109/ICST.2008.45},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BringmannK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChuMK08,
  author       = {Matt Chu and
                  Christian Murphy and
                  Gail E. Kaiser},
  title        = {Distributed In Vivo Testing of Software Applications},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {509--512},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.13},
  doi          = {10.1109/ICST.2008.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ChuMK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CiupaPLOM08,
  author       = {Ilinca Ciupa and
                  Alexander Pretschner and
                  Andreas Leitner and
                  Manuel Oriol and
                  Bertrand Meyer},
  title        = {On the Predictability of Random Tests for Object-Oriented Software},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {72--81},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.20},
  doi          = {10.1109/ICST.2008.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/CiupaPLOM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/DantasBC08,
  author       = {Ayla Dantas and
                  Francisco Vilar Brasileiro and
                  Walfredo Cirne},
  title        = {Improving Automated Testing of Multi-threaded Software},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {521--524},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.38},
  doi          = {10.1109/ICST.2008.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/DantasBC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/El-FakihKPY08,
  author       = {Khaled El{-}Fakih and
                  Anton Kolomeez and
                  Svetlana Prokopenko and
                  Nina Yevtushenko},
  title        = {Extended Finite State Machine Based Test Derivation Driven by User
                  Defined Faults},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {308--317},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.16},
  doi          = {10.1109/ICST.2008.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/El-FakihKPY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FarchiU08,
  author       = {Eitan Farchi and
                  Shmuel Ur},
  title        = {Selective Homeworkless Reviews},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {404--413},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.17},
  doi          = {10.1109/ICST.2008.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/FarchiU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FerrariMR08,
  author       = {Fabiano Cutigi Ferrari and
                  Jos{\'{e}} Carlos Maldonado and
                  Awais Rashid},
  title        = {Mutation Testing for Aspect-Oriented Programs},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {52--61},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.37},
  doi          = {10.1109/ICST.2008.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/FerrariMR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Garousi08,
  author       = {Vahid Garousi},
  title        = {Traffic-aware Stress Testing of Distributed Real-Time Systems Based
                  on {UML} Models in the Presence of Time Uncertainty},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {92--101},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.7},
  doi          = {10.1109/ICST.2008.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Garousi08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GrieskampKMNSW08,
  author       = {Wolfgang Grieskamp and
                  Nicolas Kicillof and
                  Dave MacDonald and
                  Alok Nandan and
                  Keith Stobie and
                  Fred L. Wurden},
  title        = {Model-Based Quality Assurance of Windows Protocol Documentation},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {502--506},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.50},
  doi          = {10.1109/ICST.2008.50},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/GrieskampKMNSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HargassnerHKPR08,
  author       = {Walter Hargassner and
                  Thomas Hofer and
                  Claus Klammer and
                  Josef Pichler and
                  Gernot Reisinger},
  title        = {A Script-Based Testbed for Mobile Software Frameworks},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {448--457},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.51},
  doi          = {10.1109/ICST.2008.51},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HargassnerHKPR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HarmanA08,
  author       = {Mark Harman and
                  Nadia Alshahwan},
  title        = {Automated Session Data Repair for Web Application Regression Testing},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {298--307},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.56},
  doi          = {10.1109/ICST.2008.56},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HarmanA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HaslingGB08,
  author       = {Bill Hasling and
                  Helmut Goetz and
                  Klaus Beetz},
  title        = {Model Based Testing of System Requirements using {UML} Use Case Models},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {367--376},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.9},
  doi          = {10.1109/ICST.2008.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HaslingGB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/IzurietaB08,
  author       = {Clemente Izurieta and
                  James M. Bieman},
  title        = {Testing Consequences of Grime Buildup in Object Oriented Design Patterns},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {171--179},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.27},
  doi          = {10.1109/ICST.2008.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/IzurietaB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KaplanKPSWY08,
  author       = {Matthew Kaplan and
                  Tim Klinger and
                  Amit M. Paradkar and
                  Avik Sinha and
                  Clay Williams and
                  Cemal Yilmaz},
  title        = {Less is More: {A} Minimalistic Approach to {UML} Model-Based Conformance
                  Test Generation},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {82--91},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.48},
  doi          = {10.1109/ICST.2008.48},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/KaplanKPSWY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimC08,
  author       = {Myoung Kim and
                  Yoonsik Cheon},
  title        = {A Fitness Function to Find Feasible Sequences of Method Calls for
                  Evolutionary Testing of Object-Oriented Programs},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {537--540},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.31},
  doi          = {10.1109/ICST.2008.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/KimC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KimCKK08,
  author       = {Moonzoo Kim and
                  Yunja Choi and
                  Yunho Kim and
                  Hotae Kim},
  title        = {Pre-testing Flash Device Driver through Model Checking Techniques},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {475--484},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.55},
  doi          = {10.1109/ICST.2008.55},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/KimCKK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KodreZR08,
  author       = {Ravidutta Kodre and
                  Hadar Ziv and
                  Debra J. Richardson},
  title        = {Statistical Sampling Based Approach to Alleviate Log Replay Testing},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {533--536},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.33},
  doi          = {10.1109/ICST.2008.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/KodreZR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KolovosPP08,
  author       = {Dimitrios S. Kolovos and
                  Richard F. Paige and
                  Fiona Polack},
  title        = {Detecting and Repairing Inconsistencies across Heterogeneous Models},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {356--364},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.23},
  doi          = {10.1109/ICST.2008.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/KolovosPP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LarssonBF08,
  author       = {Daniel Larsson and
                  H{\aa}kan Bertilsson and
                  Robert Feldt},
  title        = {Challenges and Solutions in Test Staff Relocations within a Software
                  Consultancy Company},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {423--431},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.28},
  doi          = {10.1109/ICST.2008.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LarssonBF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LechnerB08,
  author       = {Alexander Lechner and
                  Ruth Breu},
  title        = {Workflow Inspector - {A} Test Tool for Microsoft Workflow Foundation},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {498--501},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.54},
  doi          = {10.1109/ICST.2008.54},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LechnerB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LefticaruI08,
  author       = {Raluca Lefticaru and
                  Florentin Ipate},
  title        = {Functional Search-based Testing from State Machines},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {525--528},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.32},
  doi          = {10.1109/ICST.2008.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LefticaruI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LeiWL08,
  author       = {Bin Lei and
                  Linzhang Wang and
                  Xuandong Li},
  title        = {{UML} Activity Diagram Based Testing of Java Concurrent Programs for
                  Data Race and Inconsistency},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {200--209},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.64},
  doi          = {10.1109/ICST.2008.64},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LeiWL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LindstromOA08,
  author       = {Birgitta Lindstr{\"{o}}m and
                  A. Jefferson Offutt and
                  Sten F. Andler},
  title        = {Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained
                  Execution Environment Implications},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {112--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.21},
  doi          = {10.1109/ICST.2008.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LindstromOA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MarchettoTR08,
  author       = {Alessandro Marchetto and
                  Paolo Tonella and
                  Filippo Ricca},
  title        = {State-Based Testing of Ajax Web Applications},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {121--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.22},
  doi          = {10.1109/ICST.2008.22},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/MarchettoTR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/McQuillanP08,
  author       = {Jacqueline A. McQuillan and
                  James F. Power},
  title        = {A Metamodel for the Measurement of Object-Oriented Systems: An Analysis
                  using Alloy},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {288--297},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.58},
  doi          = {10.1109/ICST.2008.58},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/McQuillanP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MetsaKM08,
  author       = {Jani Mets{\"{a}} and
                  Mika Katara and
                  Tommi Mikkonen},
  title        = {Comparing Aspects with Conventional Techniques for Increasing Testability},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {387--395},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.29},
  doi          = {10.1109/ICST.2008.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MetsaKM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MirarabT08,
  author       = {Siavash Mirarab and
                  Ladan Tahvildari},
  title        = {An Empirical Study on Bayesian Network-based Approach for Test Case
                  Prioritization},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {278--287},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.57},
  doi          = {10.1109/ICST.2008.57},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MirarabT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MouyMWG08,
  author       = {Patricia Mouy and
                  Bruno Marre and
                  Nicky Williams and
                  Pascale Le Gall},
  title        = {Generation of All-Paths Unit Test with Function Calls},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {32--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.35},
  doi          = {10.1109/ICST.2008.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MouyMWG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/OffuttWO08,
  author       = {Jeff Offutt and
                  Qingxiang Wang and
                  Joann J. Ordille},
  title        = {An Industrial Case Study of Bypass Testing on Web Applications},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {465--474},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.46},
  doi          = {10.1109/ICST.2008.46},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/OffuttWO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PichlerR08,
  author       = {Josef Pichler and
                  Rudolf Ramler},
  title        = {How to Test the Intangible Properties of Graphical User Interfaces?},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {494--497},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.52},
  doi          = {10.1109/ICST.2008.52},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PichlerR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PloschGPSS08,
  author       = {Reinhold Pl{\"{o}}sch and
                  Harald Gruber and
                  Gustav Pomberger and
                  Matthias Saft and
                  Stefan Schiffer},
  title        = {Tool Support for Expert-Centred Code Assessments},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {258--267},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.43},
  doi          = {10.1109/ICST.2008.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PloschGPSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PrasetyaVB08,
  author       = {Wishnu Prasetya and
                  Tanja E. J. Vos and
                  Arthur I. Baars},
  title        = {Trace-based Reflexive Testing of {OO} Programs with {T2}},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {151--160},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.12},
  doi          = {10.1109/ICST.2008.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PrasetyaVB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PretschnerMT08,
  author       = {Alexander Pretschner and
                  Tejeddine Mouelhi and
                  Yves Le Traon},
  title        = {Model-Based Tests for Access Control Policies},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {338--347},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.44},
  doi          = {10.1109/ICST.2008.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PretschnerMT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RahaJ08,
  author       = {Debarshi Raha and
                  Mohan Jadhav},
  title        = {Automation Method for Testing {XML/DB/XML} Layers},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {458--464},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.68},
  doi          = {10.1109/ICST.2008.68},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/RahaJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RamirezC08,
  author       = {Andres J. Ramirez and
                  Betty H. C. Cheng},
  title        = {Verifying and Analyzing Adaptive Logic through {UML} State Models},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {529--532},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.67},
  doi          = {10.1109/ICST.2008.67},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/RamirezC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RebeloLCS08,
  author       = {Henrique Reb{\^{e}}lo and
                  Ricardo Massa Ferreira Lima and
                  M{\'{a}}rcio Corn{\'{e}}lio and
                  S{\'{e}}rgio Soares},
  title        = {A {JML} Compiler Based on AspectJ},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {541--544},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.14},
  doi          = {10.1109/ICST.2008.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/RebeloLCS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RingsNG08,
  author       = {Thomas Rings and
                  Helmut Neukirchen and
                  Jens Grabowski},
  title        = {Testing Grid Application Workflows Using {TTCN-3}},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {210--219},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.24},
  doi          = {10.1109/ICST.2008.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/RingsNG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RogozP08,
  author       = {Krzysztof Rogoz and
                  Tomasz Padlo},
  title        = {The Role of Stability Testing in Heterogeneous Application Environment},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {432--439},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.41},
  doi          = {10.1109/ICST.2008.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/RogozP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SampathBVKK08,
  author       = {Sreedevi Sampath and
                  Ren{\'{e}}e C. Bryce and
                  Gokulanand Viswanath and
                  Vani Kandimalla and
                  Akif G{\"{u}}nes Koru},
  title        = {Prioritizing User-Session-Based Test Cases for Web Applications Testing},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {141--150},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.42},
  doi          = {10.1109/ICST.2008.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SampathBVKK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SeceleanuPH08,
  author       = {Cristina Cerschi Seceleanu and
                  Paul Pettersson and
                  Hans Hansson},
  title        = {Scheduling Timed Modules for Correct Resource Sharing},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {102--111},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.70},
  doi          = {10.1109/ICST.2008.70},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SeceleanuPH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SenBM08,
  author       = {Sagar Sen and
                  Benoit Baudry and
                  Jean{-}Marie Mottu},
  title        = {On Combining Multi-formalism Knowledge to Select Models for Model
                  Transformation Testing},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {328--337},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.62},
  doi          = {10.1109/ICST.2008.62},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SenBM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SherriffW08,
  author       = {Mark Sherriff and
                  Laurie A. Williams},
  title        = {Empirical Software Change Impact Analysis using Singular Value Decomposition},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {268--277},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.25},
  doi          = {10.1109/ICST.2008.25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/SherriffW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/StreckerM08,
  author       = {Jaymie Strecker and
                  Atif M. Memon},
  title        = {Relationships between Test Suites, Faults, and Fault Detection in
                  {GUI} Testing},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {12--21},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.26},
  doi          = {10.1109/ICST.2008.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/StreckerM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TanE08,
  author       = {Roy Patrick Tan and
                  Stephen Edwards},
  title        = {Evaluating Automated Unit Testing in Sulu},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {62--71},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.59},
  doi          = {10.1109/ICST.2008.59},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/TanE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TappendenM08,
  author       = {Andrew F. Tappenden and
                  James Miller},
  title        = {A Three-Tiered Testing Strategy for Cookies},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {131--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.18},
  doi          = {10.1109/ICST.2008.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/TappendenM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TraonMPB08,
  author       = {Yves Le Traon and
                  Tejeddine Mouelhi and
                  Alexander Pretschner and
                  Benoit Baudry},
  title        = {Test-Driven Assessment of Access Control in Legacy Applications},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {238--247},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.60},
  doi          = {10.1109/ICST.2008.60},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/TraonMPB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TravisonS08,
  author       = {Dan Travison and
                  Geoff Staneff},
  title        = {Test Instrumentation and Pattern Matching for Automatic Failure Identification},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {377--386},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.69},
  doi          = {10.1109/ICST.2008.69},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/TravisonS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/UbayashiPST08,
  author       = {Naoyasu Ubayashi and
                  Jinji Piao and
                  Suguru Shinotsuka and
                  Tetsuo Tamai},
  title        = {Contract-Based Verification for Aspect-Oriented Refactoring},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {180--189},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.36},
  doi          = {10.1109/ICST.2008.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/UbayashiPST08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Vemuri08,
  author       = {Venkata Raghunath Vemuri},
  title        = {Testing Predictive Software in Mobile Devices},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {440--447},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.61},
  doi          = {10.1109/ICST.2008.61},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Vemuri08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WagnerDAWS08,
  author       = {Stefan Wagner and
                  Florian Deissenboeck and
                  Michael Aichner and
                  Johann Wimmer and
                  Markus Schwalb},
  title        = {An Evaluation of Two Bug Pattern Tools for Java},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {248--257},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.63},
  doi          = {10.1109/ICST.2008.63},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WagnerDAWS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WareWS08,
  author       = {M. P. Ware and
                  F. George Wilkie and
                  Mary Shapcott},
  title        = {The Use of Intra-Release Product Measures in Predicting Release Readiness},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {230--237},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.11},
  doi          = {10.1109/ICST.2008.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WareWS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WeisslederS08,
  author       = {Stephan Wei{\ss}leder and
                  Bernd{-}Holger Schlingloff},
  title        = {Quality of Automatically Generated Test Cases based on {OCL} Expressions},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {517--520},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.40},
  doi          = {10.1109/ICST.2008.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WeisslederS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WieczorekSS08,
  author       = {Sebastian Wieczorek and
                  Alin Stefanescu and
                  Ina Schieferdecker},
  title        = {Test Data Provision for {ERP} Systems},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {396--403},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.53},
  doi          = {10.1109/ICST.2008.53},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WieczorekSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WongWQZ08,
  author       = {W. Eric Wong and
                  Tingting Wei and
                  Yu Qi and
                  Lei Zhao},
  title        = {A Crosstab-based Statistical Method for Effective Fault Localization},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {42--51},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.65},
  doi          = {10.1109/ICST.2008.65},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WongWQZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YoonJC08,
  author       = {Hoijin Yoon and
                  Eun Mi Ji and
                  Byoungju Choi},
  title        = {Generating Test Requirements for the Service Connections based on
                  the Layers of {SOA}},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {348--355},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.30},
  doi          = {10.1109/ICST.2008.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/YoonJC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YuKZZ08,
  author       = {Bo Yu and
                  Liang Kong and
                  Yufeng Zhang and
                  Hong Zhu},
  title        = {Testing Java Components based on Algebraic Specifications},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {190--199},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.39},
  doi          = {10.1109/ICST.2008.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/YuKZZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZaidmanRDD08,
  author       = {Andy Zaidman and
                  Bart Van Rompaey and
                  Serge Demeyer and
                  Arie van Deursen},
  title        = {Mining Software Repositories to Study Co-Evolution of Production {\&}
                  Test Code},
  booktitle    = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  pages        = {220--229},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICST.2008.47},
  doi          = {10.1109/ICST.2008.47},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ZaidmanRDD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2008,
  title        = {First International Conference on Software Testing, Verification,
                  and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4539516/proceeding},
  isbn         = {978-0-7695-3127-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics