Proceedings of the First International Conference on Software Testing, Verification and Validation
ICST, 2008.

@proceedings{ICST-2008,
	address       = "Lillehammer, Norway",
	ee            = "http://www.computer.org/csdl/proceedings/icst/2008/3127/00/index.html",
	isbn          = "978-0-7695-3127-4",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the First International Conference on Software Testing, Verification and Validation}",
	year          = 2008,
}

Event page: http://www.cs.colostate.edu/icst2008/

Contents (63 items)

38 ×#testing
11 ×#modelling
6 ×#automation
6 ×#uml
5 ×#object-oriented
4 ×#generative
4 ×#source code
4 ×#using
4 ×#web
3 ×#approach

ICST-2008-BeerM #dependence #generative #performance #testing

Efficient Test Data Generation for Variables with Complex Dependencies (AB, SM), pp. 3–11.

ICST-2008-StreckerM #detection #fault #testing #user interface

Relationships between Test Suites, Faults, and Fault Detection in GUI Testing (JS, AMM), pp. 12–21.

ICST-2008-BardinH #bytecode #testing

Structural Testing of Executables (SB, PH), pp. 22–31.

ICST-2008-MouyMWG #generative #testing

Generation of All-Paths Unit Test with Function Calls (PM, BM, NW, PLG), pp. 32–41.

ICST-2008-WongWQZ #effectiveness #fault #locality #statistics

A Crosstab-based Statistical Method for Effective Fault Localization (WEW, TW, YQ, LZ), pp. 42–51.

ICST-2008-FerrariMR #aspect-oriented #mutation testing #source code #testing

Mutation Testing for Aspect-Oriented Programs (FCF, JCM, AR), pp. 52–61.

ICST-2008-TanE #automation #testing

Evaluating Automated Unit Testing in Sulu (RPT, SE), pp. 62–71.

ICST-2008-CiupaPLOM #object-oriented #on the #predict #random testing #testing

On the Predictability of Random Tests for Object-Oriented Software (IC, AP, AL, MO, BM), pp. 72–81.

ICST-2008-KaplanKPSWY #approach #consistency #generative #less is more #modelling #testing #uml

Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation (MK, TK, AMP, AS, CW, CY), pp. 82–91.

ICST-2008-Garousi #distributed #modelling #nondeterminism #realtime #testing #uml

Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty (VG), pp. 92–101.

ICST-2008-SeceleanuPH #resource management #scheduling

Scheduling Timed Modules for Correct Resource Sharing (CCS, PP, HH), pp. 102–111.

ICST-2008-LindstromOA #empirical #execution #realtime #testing

Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications (BL, AJO, SFA), pp. 112–120.

ICST-2008-MarchettoTR #ajax #testing #web

State-Based Testing of Ajax Web Applications (AM, PT, FR), pp. 121–130.

ICST-2008-TappendenM #testing

A Three-Tiered Testing Strategy for Cookies (AFT, JM), pp. 131–140.

ICST-2008-SampathBVKK #testing #web

Prioritizing User-Session-Based Test Cases for Web Applications Testing (SS, RCB, GV, VK, AGK), pp. 141–150.

ICST-2008-PrasetyaVB #object-oriented #reflexive #source code #testing

Trace-based Reflexive Testing of OO Programs with T2 (WP, TEJV, AIB), pp. 151–160.

ICST-2008-BousquetS #inheritance

Relation between Depth of Inheritance Tree and Number of Methods to Test (LdB, MRS), pp. 161–170.

ICST-2008-IzurietaB #design pattern #object-oriented #testing

Testing Consequences of Grime Buildup in Object Oriented Design Patterns (CI, JMB), pp. 171–179.

ICST-2008-UbayashiPST #aspect-oriented #contract #refactoring #verification

Contract-Based Verification for Aspect-Oriented Refactoring (NU, JP, SS, TT), pp. 180–189.

ICST-2008-YuKZZ #algebra #component #java #specification #testing

Testing Java Components based on Algebraic Specifications (BY, LK, YZ, HZ), pp. 190–199.

ICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing #uml

UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.

ICST-2008-RingsNG #grid #testing #using #workflow

Testing Grid Application Workflows Using TTCN-3 (TR, HN, JG), pp. 210–219.

ICST-2008-ZaidmanRDD #co-evolution #mining #repository

Mining Software Repositories to Study Co-Evolution of Production & Test Code (AZ, BVR, SD, AvD), pp. 220–229.

ICST-2008-WareWS #metric #predict #using

The Use of Intra-Release Product Measures in Predicting Release Readiness (MPW, FGW, MS), pp. 230–237.

ICST-2008-TraonMPB #assessment #data access #legacy #testing

Test-Driven Assessment of Access Control in Legacy Applications (YLT, TM, AP, BB), pp. 238–247.

ICST-2008-WagnerDAWS #debugging #evaluation #java #tool support

An Evaluation of Two Bug Pattern Tools for Java (SW, FD, MA, JW, MS), pp. 248–257.

ICST-2008-PloschGPSS #tool support

Tool Support for Expert-Centred Code Assessments (RP, HG, GP, MS, SS), pp. 258–267.

ICST-2008-SherriffW #composition #empirical #impact analysis #using

Empirical Software Change Impact Analysis using Singular Value Decomposition (MS, LW), pp. 268–277.

ICST-2008-MirarabT #approach #empirical #testing

An Empirical Study on Bayesian Network-based Approach for Test Case Prioritization (SM, LT), pp. 278–287.

ICST-2008-McQuillanP #alloy #analysis #metamodelling #metric #object-oriented #using

A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy (JAM, JFP), pp. 288–297.

ICST-2008-HarmanA #automation #program repair #testing #web

Automated Session Data Repair for Web Application Regression Testing (MH, NA), pp. 298–307.

ICST-2008-El-FakihKPY #fault #finite #state machine

Extended Finite State Machine Based Test Derivation Driven by User Defined Faults (KEF, AK, SP, NY), pp. 308–317.

ICST-2008-BoulangerH #modelling #multi #simulation

Simulation of Multi-Formalism Models with ModHel’X (FB, CH), pp. 318–327.

ICST-2008-SenBM #model transformation #modelling #multi #on the #testing

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (SS, BB, JMM), pp. 328–337.

ICST-2008-PretschnerMT #data access #modelling #policy #testing

Model-Based Tests for Access Control Policies (AP, TM, YLT), pp. 338–347.

ICST-2008-YoonJC #generative #requirements

Generating Test Requirements for the Service Connections based on the Layers of SOA (HY, EMJ, BC), pp. 348–355.

ICST-2008-KolovosPP #consistency #detection #modelling #nondeterminism

Detecting and Repairing Inconsistencies across Heterogeneous Models (DSK, RFP, FP), pp. 356–364.

ICST-2008-HaslingGB #case study #modelling #requirements #testing #uml #using

Model Based Testing of System Requirements using UML Use Case Models (BH, HG, KB), pp. 367–376.

ICST-2008-TravisonS #automation #identification #pattern matching

Test Instrumentation and Pattern Matching for Automatic Failure Identification (DT, GS), pp. 377–386.

ICST-2008-MetsaKM #aspect-oriented #testing

Comparing Aspects with Conventional Techniques for Increasing Testability (JM, MK, TM), pp. 387–395.

ICST-2008-WieczorekSS #enterprise #testing

Test Data Provision for ERP Systems (SW, AS, IS), pp. 396–403.

ICST-2008-FarchiU

Selective Homeworkless Reviews (EF, SU), pp. 404–413.

ICST-2008-Benton #design #testing

Designing and Building a Software Test Organization (BB), pp. 414–422.

ICST-2008-LarssonBF #challenge

Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company (DL, HB, RF), pp. 423–431.

ICST-2008-RogozP #testing

The Role of Stability Testing in Heterogeneous Application Environment (KR, TP), pp. 432–439.

ICST-2008-Vemuri #mobile #predict #testing

Testing Predictive Software in Mobile Devices (VRV), pp. 440–447.

ICST-2008-HargassnerHKPR #framework #mobile

A Script-Based Testbed for Mobile Software Frameworks (WH, TH, CK, JP, GR), pp. 448–457.

ICST-2008-RahaJ #automation #testing #xml

Automation Method for Testing XML/DB/XML Layers (DR, MJ), pp. 458–464.

ICST-2008-OffuttWO #case study #industrial #testing #web

An Industrial Case Study of Bypass Testing on Web Applications (JO, QW, JJO), pp. 465–474.

ICST-2008-KimCKK #model checking

Pre-testing Flash Device Driver through Model Checking Techniques (MK, YC, YK, HK), pp. 475–484.

ICST-2008-BringmannK #modelling #testing

Model-Based Testing of Automotive Systems (EB, AK), pp. 485–493.

ICST-2008-PichlerR #how #question #user interface #visual notation

How to Test the Intangible Properties of Graphical User Interfaces? (JP, RR), pp. 494–497.

ICST-2008-LechnerB #workflow

Workflow Inspector — A Test Tool for Microsoft Workflow Foundation (AL, RB), pp. 498–501.

ICST-2008-GrieskampKMNSW #assurance #documentation #modelling #protocol #quality

Model-Based Quality Assurance of Windows Protocol Documentation (WG, NK, DM, AN, KS, FLW), pp. 502–506.

ICST-2008-ChuMK #distributed #testing

Distributed In Vivo Testing of Software Applications (MC, CM, GEK), pp. 509–512.

ICST-2008-BaruzzoC #modelling #uml

A Methodology for UML Models V&V (AB, MC), pp. 513–516.

ICST-2008-WeisslederS #automation #ocl #quality #testing

Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.

ICST-2008-DantasBC #automation #concurrent #multi #testing #thread

Improving Automated Testing of Multi-threaded Software (AD, FVB, WC), pp. 521–524.

ICST-2008-LefticaruI #functional #search-based #state machine #testing

Functional Search-based Testing from State Machines (RL, FI), pp. 525–528.

ICST-2008-RamirezC #adaptation #logic #modelling #uml #verification

Verifying and Analyzing Adaptive Logic through UML State Models (AJR, BHCC), pp. 529–532.

ICST-2008-KodreZR #approach #statistics #testing

Statistical Sampling Based Approach to Alleviate Log Replay Testing (RK, HZ, DJR), pp. 533–536.

ICST-2008-KimC #object-oriented #sequence #source code #testing

A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs (MK, YC), pp. 537–540.

ICST-2008-RebeloLCS #aspectj #compilation #ml

A JML Compiler Based on AspectJ (HR, RMFL, MC, SS), pp. 541–544.