Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Debroy, Vidroha, Wong, W Eric
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Perrouin, Gilles, Sen, Sagar, Klein, Jacques, Baudry, Benoit, le Traon, Yves
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Loading…
Rex: Symbolic Regular Expression Explorer
Veanes, Margus, de Halleux, Peli, Tillmann, Nikolai
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Repairing GUI Test Suites Using a Genetic Algorithm
Si Huang, Cohen, Myra B, Memon, Atif M
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
(Un-)Covering Equivalent Mutants
Schuler, David, Zeller, Andreas
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Model Checking PLC Software Written in Function Block Diagram
Pavlovic, Olivera, Ehrich, Hans-Dieter
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization
Masri, Wes, Assi, Rawad Abou
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
It Does Matter How You Normalise the Branch Distance in Search Based Software Testing
Arcuri, Andrea
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Automated Behavioral Regression Testing
Wei Jin, Orso, Alessandro, Tao Xie
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Regression Testing Ajax Applications: Coping with Dynamism
Roest, Danny, Mesbah, Ali, van Deursen, Arie
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
TestFul: An Evolutionary Test Approach for Java
Baresi, Luciano, Lanzi, Pier Luca, Miraz, Matteo
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Text2Test: Automated Inspection of Natural Language Use Cases
Sinha, Avik, Sutton, Stanley M., Paradkar, Amit
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
Gligoric, Milos, Jagannath, Vilas, Marinov, Darko
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
Panesar-Walawege, Rajwinder Kaur, Sabetzadeh, Mehrdad, Briand, Lionel, Coq, Thierry
Published in 2010 Third International Conference on Software Testing, Verification and Validation (2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (2010)
Get full text
Conference Proceeding
Loading…
An Industrial Survey on Contemporary Aspects of Software Testing
Causevic, Adnan, Sundmark, Daniel, Punnekkat, Sasikumar
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Loading…
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
Segura, Sergio, Hierons, Robert M, Benavides, David, Ruiz-Cortés, Antonio
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Towards Automated, Formal Verification of Model Transformations
Asztalos, Márk, Lengyel, László, Levendovszky, Tihamér
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information
Shali Yan, Zhenyu Chen, Zhihong Zhao, Chen Zhang, Yuming Zhou
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding