Proceedings of the 27th International Conference on Testing Software and Systems
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

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

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

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.