default search action
1st 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, ISBN 978-0-7695-3127-4
- 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
Scheduling Timed Modules for Correct Resource Sharing. 102-111 - Birgitta Lindström
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications. 112-120 - Alessandro Marchetto
State-Based Testing of Ajax Web Applications. 121-130 - Andrew F. Tappenden, James Miller:
A Three-Tiered Testing Strategy for Cookies. 131-140 - Sreedevi Sampath, Renée C. Bryce, Gokulanand Viswanath, Vani Kandimalla, Akif Günes Koru:
Prioritizing User-Session-Based Test Cases for Web Applications Testing. 141-150 - Wishnu Prasetya
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
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
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
Test-Driven Assessment of Access Control in Legacy Applications. 238-247 - Stefan Wagner
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
Empirical Software Change Impact Analysis using Singular Value Decomposition. 268-277 - Siavash Mirarab
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
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
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
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
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
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
Improving Automated Testing of Multi-threaded Software. 521-524 - Raluca Lefticaru
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: