Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado
Proceedings of the 22nd International Conference on Testing Software and Systems
ICTSS, 2010.

@proceedings{ICTSS-2010,
	address       = "Natal, Brazil",
	doi           = "10.1007/978-3-642-16573-3",
	editor        = "Alexandre Petrenko and Adenilso da Silva Simão and José Carlos Maldonado",
	isbn          = "978-3-642-16572-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 22nd International Conference on Testing Software and Systems}",
	volume        = 6435,
	year          = 2010,
}

Contents (18 items)

11 ×#testing
3 ×#generative
3 ×#modelling
3 ×#using
2 ×#approach
2 ×#integration
2 ×#named
2 ×#performance
2 ×#scalability
2 ×#search-based

ICTSS-2010-Schieferdecker #automation #perspective #state of the art #testing

Test Automation with TTCN-3 — State of the Art and a Future Perspective (IS), pp. 1–14.

ICTSS-2010-Heitmeyer #approach #behaviour #modelling #testing

A Model-Based Approach to Testing Software for Critical Behavior and Properties (CLH), p. 15.

ICTSS-2010-CabralPV #algorithm #integration #order #problem

A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem (RdVC, AP, SRV), pp. 16–29.

ICTSS-2010-FalconeFJMM

More Testable Properties (YF, JCF, TJ, HM, LM), pp. 30–46.

ICTSS-2010-VeanesB #simulation

Alternating Simulation and IOCO (MV, NB), pp. 47–62.

ICTSS-2010-HemmatiAB #cost analysis #modelling #testing

Reducing the Cost of Model-Based Testing through Test Case Diversity (HH, AA, LCB), pp. 63–78.

ICTSS-2010-PielGG #component #data flow #integration #scalability #testing

Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems (ÉP, AGS, HGG), pp. 79–94.

ICTSS-2010-ArcuriIB #black box #embedded #random #realtime #search-based #testing #using

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing (AA, MZZI, LCB), pp. 95–110.

ICTSS-2010-LamanchaU #generative #product line #testing #using

Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage (BPL, MPU), pp. 111–125.

ICTSS-2010-WalkinshawBDP #case study #functional #induction #testing

Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.

ICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #symbolic computation #theorem proving

FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.

ICTSS-2010-Gladisch #first-order #generative #logic #quantifier #source code #specification #testing

Test Data Generation for Programs with Quantified First-Order Logic Specifications (CG), pp. 158–173.

ICTSS-2010-AlmeidaMSTV #architecture #distributed #performance #scalability

Efficient Distributed Test Architectures for Large-Scale Systems (ECdA, JEM, GS, YLT, PV), pp. 174–187.

ICTSS-2010-AartsJU #abstraction #communication #generative #infinity #modelling #protocol #using

Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction (FA, BJ, JU), pp. 188–204.

ICTSS-2010-ShinboTAHS #network #performance #testing

Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks (HS, AT, SA, TH, KS), pp. 205–220.

ICTSS-2010-MeinkeN #approach #testing

A Learning-Based Approach to Unit Testing of Numerical Software (KM, FN), pp. 221–235.

ICTSS-2010-UlrichAHB #implementation

From Scenarios to Test Implementations Via Promela (AU, EHA, HH, SB), pp. 236–249.

ICTSS-2010-DelamareMBT #aspect-oriented #impact analysis #named #testing #weaving

Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases (RD, FM, BB, YLT), pp. 250–265.