Proceedings of the First International Conference on Software Testing, Verification and Validation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

TEST
DBLP
Scholar
CSDL
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.