| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Haitao Dan, Robert M. Hierons |
SMT-C: A Semantic Mutation Testing Tools for C.  |
ICST  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliano Antoniol, Antonia Bertolino, Yvan Labiche (eds.) |
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012 |
ICST |
2012 |
DBLP BibTeX RDF |
|
| 1 | Antinisca Di Marco, Francesca Lonetti, Guglielmo De Angelis |
Property-Driven Software Engineering Approach. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Li, Fei Li, Jeff Offutt |
Better Algorithms to Minimize the Cost of Test Paths. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti |
Automatic XACML Requests Generation for Policy Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aritra Bandyopadhyay, Sudipto Ghosh |
Tester Feedback Driven Fault Localization. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Büchler, Johan Oudinet, Alexander Pretschner |
SPaCiTE - Web Application Testing Engine. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Schieferdecker |
Model-Based Fuzz Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | William Shelton, Nan Li, Paul Ammann, Jeff Offutt |
Adding Criteria-Based Tests to Test Driven Development. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Miller Kauffman, Gregory M. Kapfhammer |
A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Garg, Amitava Datta |
Test Case Prioritization Due to Database Changes in Web Applications. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yury Pavlov, Gordon Fraser |
Semi-automatic Search-Based Test Generation. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh |
Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Calvar, Raphaël Tremblay-Lessard, Sylvain Hallé |
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol |
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bachar Wehbi, Edgardo Montes de Oca, Michel Bourdellès |
Events-Based Security Monitoring Using MMT Tool. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | René Just, Gregory M. Kapfhammer, Franz Schweiggert |
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Di Geronimo, Filomena Ferrucci, Alfonso Murolo, Federica Sarro |
A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Dan, Robert M. Hierons |
Semantic Mutation Analysis of Floating-Point Comparison. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boya Sun, Gang Shu, Andy Podgurski, Soumya Ray |
CARIAL: Cost-Aware Software Reliability Improvement with Active Learning. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser, Neil Walkinshaw |
Behaviourally Adequate Software Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard de Koning Gans, Joeri de Ruiter |
The SmartLogic Tool: Analysing and Testing Smart Card Protocols. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianhai Liu, Michael Nagel, Mana Taghdiri |
Bounded Program Verification Using an SMT Solver: A Case Study. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Sunyé |
Peer-to-Peer Load Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Massicotte, Mathieu Couture, Hugues Normandin, Frédéric Michaud |
A Testing Model for Dynamic Malware Analysis Systems. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki |
Formal Model-Based Test for AUTOSAR Multicore RTOS. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elke Salecker, Sabine Glesner |
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah |
AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Atlee M. Cunningham Jr., Jon D. Hagar, Ryan J. Holman |
A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick |
Simplified Modeling of Combinatorial Test Spaces. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aritra Bandyopadhyay |
Mitigating the Effect of Coincidental Correctness in Spectrum Based Fault Localization. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | William Alton Ballance, Sergiy Vilkomir, William Jenkins |
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Sprenkle, Camille Cobb, Lori L. Pollock |
Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet |
Grammar-Based Testing Using Realistic Domains in PHP. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangmin Park, Richard W. Vuduc, Mary Jean Harrold |
A Unified Approach for Localizing Non-deadlock Concurrency Bugs. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marinos Kintis, Mike Papadakis, Nicos Malevris |
Isolating First Order Equivalent Mutants via Second Order Mutation. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry |
Minimum Pairwise Coverage Using Constraint Programming Techniques. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ujhelyi, Ákos Horváth, Dániel Varró |
Dynamic Backward Slicing of Model Transformations. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Ponsini, Claude Michel, Michel Rueher |
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro |
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist |
Technical Debt in Test Automation. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier |
XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar |
Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehra N. Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn |
Combinatorial Testing of ACTS: A Case Study. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moussa Amrani, Levi Lucio, Gehan Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy |
A Tridimensional Approach for Studying the Formal Verification of Model Transformations. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas R. Devine, Katerina Goseva-Popstojanova, Sandeep Krishnan, Robyn R. Lutz, J. Jenny Li |
An Empirical Study of Pre-release Software Faults in an Industrial Product Line. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Reales Mateo, Macario Polo Usaola |
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code). |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Mészáros, Tihamer Levendovszky |
Verified Operational Patterns with Graph Transformation. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fadi A. Zaraket, Wes Masri, Marc Adam, Dalal Hammoud, Raghd Hamzeh, Raja Farhat, Elie Khamissi, Joseph Noujaim |
GUICOP: Specification-Based GUI Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Gligoric, Peter C. Mehlitz, Darko Marinov |
X10X: Model Checking a New Programming Language with an "Old" Model Checker. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Gargantini, Paolo Vavassori |
CITLAB: A Laboratory for Combinatorial Interaction Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wahler, Ettore Ferranti, Robin Steiger, Rahul Jain, Kristian Nagy |
CAST: Automating Software Tests for Embedded Systems. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raquel Blanco, Javier Tuya, Rubén V. Seco |
Test Adequacy Evaluation for the User-database Interaction: A Specification-Based Approach. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Salay, Marsha Chechik, Jan Gorzny |
Towards a Methodology for Verifying Partial Model Refinements. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Oriol |
Random Testing: Evaluation of a Law Describing the Number of Faults Found. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon |
Testing Obligation Policy Enforcement Using Mutation Analysis. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory M. Kapfhammer |
Towards a Method for Reducing the Test Suites of Database Applications. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki |
Testing of Evolving Protocols. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Tonella, Alessandro Marchetto, Duy Cu Nguyen, Yue Jia, Kiran Lakhotia, Mark Harman |
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahed Zaman, Bram Adams, Ahmed E. Hassan |
A Large Scale Empirical Study on User-Centric Performance Analysis. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov |
Evaluating Machine-Independent Metrics for State-Space Exploration. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Delamare, Nicholas A. Kraft |
A Genetic Algorithm for Computing Class Integration Test Orders for Aspect-Oriented Systems. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Chen, Mengxiang Lin, Kai Yu, Bing Shao |
When a GUI Regression Test Failed, What Should be Blamed? |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Juristo Juzgado, Sira Vegas, Martín Solari, Silvia Abrahão, Isabel Ramos |
Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Silveira Silva Filho, Christof J. Budnik |
An Integrated Model-Driven Approach for Mechatronic Systems Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter M. Kruse, Jürgen Bauer, Joachim Wegener |
Numerical Constraints for Combinatorial Interaction Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn |
Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunho Kim, Yoonkyu Jang |
Industrial Application of Concolic Testing on Embedded Software: Case Studies. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafik Kheddam, Oum-El-Kheir Aktouf, Ioannis Parissis |
An Extended LLRP Model for RFID System Test and Diagnosis. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beyene, James H. Andrews |
Generating String Test Data for Code Coverage. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Li |
A Smart Structured Test Automation Language (SSTAL). |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Zhang, Xiaojian Liu, Jian Zhang |
Combinatorial Testing on ID3v2 Tags of MP3 Files. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu, Daniel Balasubramanian |
Statechart Analysis with Symbolic PathFinder. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunho Kim, Gregg Rothermel |
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavan Kumar Chittimalli, Vipul Shah |
GEMS: A Generic Model Based Source Code Instrumentation Framework. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | André Takeshi Endo, Adenilso da Silva Simão |
Experimental Comparison of Test Case Generation Methods for Finite State Machines. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Caliebe, Thomas Herpel, Reinhard German |
Dependency-Based Test Case Selection and Prioritization in Embedded Systems. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Papadakis, Yves Le Traon |
Using Mutants to Locate "Unknown" Faults. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chixiang Zhou, Phyllis G. Frankl |
Empirical Studies on Test Effectiveness for Database Applications. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu |
Symbolic Execution with Interval Solving and Meta-heuristic Search. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei |
Combinatorial Methods for Event Sequence Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Patrick, Manuel Oriol, John A. Clark |
MESSI: Mutant Evaluation by Static Semantic Interpretation. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Elisabeth Jöbstl |
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostyantyn Vorobyov, Padmanabhan Krishnan |
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier |
A Taint Based Approach for Smart Fuzzing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Runeson, Emelie Engström |
Software Product Line Testing - A 3D Regression Testing Problem. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Woehrle |
Search-Based Stress Testing of Wireless Network Protocol Stacks. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghudeep Kannavara |
Securing Opensource Code via Static Analysis. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigrid Eldh, Daniel Sundmark |
Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Paci, Fabio Massacci, Fabrice Bouquet, Stephane Debricon |
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad Mizan, Greg Franks |
Automated Performance Model Construction through Event Log Analysis. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Malz, Nasser Jazdi, Peter Göhner |
Prioritization of Test Cases Using Software Agents and Fuzzy Logic. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil McMinn, Muzammil Shahbaz, Mark Stevenson |
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Wotawa |
Open Research Challenges of Localizing Faults in Programs Using Constraints. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, Nour Fatairi |
Enhancing Fault Localization via Multivariate Visualization. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Börjesson, Robert Feldt |
Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius |
Analyzing a Controller of a Power Distribution Unit Using Formal Methods. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser, Andrea Arcuri |
The Seed is Strong: Seeding Strategies in Search-Based Software Testing. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")