ICST 2010 - PDF Preprint Papers

ICST 2010 Verification Software Testing

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICST-2010 Paper

click to vote

ICST
2010
IEEE

205views Software Engineering» more ICST 2010»

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines

12 years 10 months ago

Download www.irisa.fr

Abstract—Software Product Lines (SPL) are difﬁcult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...

Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit ...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	205	Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines	claim
2	195	Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach	claim
3	189	Longer is Better: On the Role of Test Sequence Length in Software Testing	claim
4	178	Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller	claim
5	175	Automated Behavioral Regression Testing	claim
6	173	Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes	claim
7	168	GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns	claim
8	166	Regression Testing Ajax Applications: Coping with Dynamism	claim
9	157	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving	claim
10	151	Generating Transition Probabilities for Automatic Model-Based Test Generation	claim
11	149	(Un-)Covering Equivalent Mutants	claim
12	146	Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard	claim
13	138	TestFul: An Evolutionary Test Approach for Java	claim
14	137	Repairing GUI Test Suites Using a Genetic Algorithm	claim
15	132	Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista	claim
16	128	Fault Detection Likelihood of Test Sequence Length	claim
17	126	Timed Moore Automata: Test Data Generation and Model Checking	claim
18	118	GUI Testing Techniques Evaluation by Designed Experiments	claim
19	117	Simulated Satisfaction of Coverage Criteria on UML State Machines	claim
20	116	Model Based Testing and Abstract Interpretation in the Railway Signaling Context	claim
21	112	Challenges with Software Verification and Validation Activities in the Space Industry	claim
22	107	Precisely Detecting Runtime Change Interactions for Evolving Software	claim
23	99	Does Hardware Configuration and Processor Load Impact Software Fault Observability?	claim
24	99	Satisfying Test Preconditions through Guided Object Selection	claim
25	97	MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code	claim
26	96	Verified Firewall Policy Transformations for Test Case Generation	claim
27	93	Rex: Symbolic Regular Expression Explorer	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers