ICST A

64 papers

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