Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko
Proceedings of the 27th International Conference on Testing Software and Systems
ICTSS, 2015.

@proceedings{ICTSS-2015,
	doi           = "10.1007/978-3-319-25945-1",
	editor        = "Khaled El-Fakih and Gerassimos D. Barlas and Nina Yevtushenko",
	isbn          = "978-3-319-25944-4",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 27th International Conference on Testing Software and Systems}",
	volume        = 9447,
	year          = 2015,
}

Contents (18 items)

ICTSS-2015-PetrenkoS #finite #state machine

Checking Experiments for Finite State Machines with Symbolic Inputs (AP, AdSS), pp. 3–18.

ICTSS-2015-GunicenJY #adaptation #generative #multi #sequence #using

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation (CG, GVJ, HY), pp. 19–34.

ICTSS-2015-BoudhibaGGP #contract #modelling #testing

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts (IB, CG, PLG, VP), pp. 35–51.

ICTSS-2015-HalleCG #constraints #generative #graph #testing

Graph Methods for Generating Test Cases with Universal and Existential Constraints (SH, ELC, SG), pp. 55–70.

ICTSS-2015-HentzVM #cost analysis #grammarware #testing #using

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage (CH, JJV, AMM), pp. 71–85.

ICTSS-2015-WeisslederWL #automation #bound #design #product line

Automated Test Design for Boundaries of Product Line Variants (SW, FW, HL), pp. 86–101.

ICTSS-2015-CheMNZ #monitoring #testing #tool support

Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP (XC, SM, HNN, FZ), pp. 105–123.

ICTSS-2015-AbreuAHW #approach #spreadsheet #testing

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach (RA, SA, BH, FW), pp. 124–140.

ICTSS-2015-AltingerHGW #fault #novel #predict

Novel Insights on Cross Project Fault Prediction Applied to Automotive Software (HA, SH, JG, FW), pp. 141–157.

ICTSS-2015-GrozSPO #finite #identification #sequence #state machine #using

Inferring Finite State Machines Without Reset Using State Identification Sequences (RG, AdSS, AP, CO), pp. 161–177.

ICTSS-2015-TaylorD #erlang #framework #mutation testing #named #testing

mu2: A Refactoring-Based Mutation Testing Framework for Erlang (RT, JD), pp. 178–193.

ICTSS-2015-AsadollahIH #overview #physics #testing

A Survey on Testing for Cyber Physical System (SAA, RI, HH), pp. 194–207.

ICTSS-2015-AzizS #generative #parallel #realtime #testing

Test-Data Generation for Testing Parallel Real-Time Systems (MWA, SABS), pp. 211–223.

ICTSS-2015-LahamiKBJ #adaptation #approach #behaviour #generative #testing

Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations (ML, MK, HB, MJ), pp. 224–239.

ICTSS-2015-KushikY #adaptation #finite #heuristic #nondeterminism #sequence #state machine

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines (NK, HY), pp. 243–248.

ICTSS-2015-SultanBGDZ #algorithm #clustering #search-based

Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning (AMS, SB, AAAG, JD, HZ), pp. 249–256.

ICTSS-2015-SchneiderWH #complexity #metric #testing

A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing (MAS, MFW, AH0), pp. 257–262.

ICTSS-2015-KitaharaNSFA #capacity #evaluation #network

A Practical Evaluation Method of Network Traffic Load for Capacity Planning (TK, SN, MS, NF, SA), pp. 263–268.