| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernhard K. Aichernig, Richard Schumi |
Statistical Model Checking Meets Property-Based Testing.  |
ICST  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon M. Poulding, Robert Feldt |
Automated Random Testing in Multiple Dispatch Languages. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Gyori, Pranav Garg 0001, Edgar Pek, P. Madhusudan |
Efficient Incrementalized Runtime Checking of Linear Measures on Lists. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Reed Milewicz, Peter Pirkelbauer |
Ariadne: Hybridizing Directed Model Checking and Static Analysis. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017 |
ICST |
2017 |
DBLP BibTeX RDF |
|
| 1 | Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh 0001 |
Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Titcheu Chekam |
Automated and Scalable Mutation Testing. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anurag Dwarakanath, Dipin Era, Aditya Priyadarshi, Neville Dubash, Sanjay Podder |
Accelerating Test Automation through a Domain Specific Language. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Junjie Chen 0003, Yanwei Bai, Dan Hao 0001, Lingming Zhang 0001, Lu Zhang 0023, Bing Xie |
How Do Assertions Impact Coverage-Based Test-Suite Reduction? |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Foundjem Armstrong, Foutse Khomh, Bram Adams |
Broadcast vs. Unicast Review Technology: Does It Matter? |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen, Carlo Ieva |
TITAN: Test Suite Optimization for Highly Configurable Software. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yilin Yang, Xinhai Huang, Xuefei Hao, Zicong Liu, Zhenyu Chen 0001 |
An Industrial Study of Natural Language Processing Based Test Case Prioritization. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Trautsch, Jens Grabowski |
Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo J. Dias, Carla Ferreira 0001, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar |
Verifying Concurrent Programs Using Contracts. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Flemström, Thomas Gustafsson, Avenir Kobetski |
SAGA Toolbox: Interactive Testing of Guarded Assertions. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Walkinshaw, Gordon Fraser 0001 |
Uncertainty-Driven Black-Box Test Data Generation. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristoffer Kleine, Dimitris E. Simos |
Coveringcerts: Combinatorial Methods for X.509 Certificate Testing. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
Perphecy: Performance Regression Test Selection Made Simple but Effective. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dipesh Pradhan, Shuai Wang 0001, Shaukat Ali 0001, Tao Yue 0002, Marius Liaaen |
CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadeeq Jan, Cu D. Nguyen, Andrea Arcuri, Lionel C. Briand |
A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Trautsch |
Reflecting the Adoption of Software Testing Research in Open-Source Projects. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans |
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid |
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
NuSeen: A Tool Framework for the NuSMV Model Checker. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto |
Taming Coverage Criteria Heterogeneity with LTest. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyang Sun, Andrea Rosà, Omar Javed, Walter Binder |
ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunjin Jeong, Namgoo Lee, Jinhan Kim, Duseok Kang, Soonhoi Ha |
FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun Guo, Amihai Motro, Nan Li 0008 |
Localizing Faults in SQL Predicates. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu |
Symbolic Complexity Analysis Using Context-Preserving Histories. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma 0003, Takashi Kitamura 0001, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
Model-Based API Testing of Apache ZooKeeper. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibrahim Alagöz, Thomas Herpel, Reinhard German |
A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Qianqian Wang, Yuriy Brun, Alessandro Orso |
Behavioral Execution Comparison: Are Tests Representative of Field Behavior? |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Patrick, Ruairi Donnelly, Christopher A. Gilligan |
A Toolkit for Testing Stochastic Simulations against Statistical Oracles. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sultan S. Al-Qahtani, Ellis E. Eghan, Juergen Rilling |
Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Zhang 0023 |
Debugging Multithreaded Programs Using Symbolic Analysis. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson |
A Comparative Study of Manual and Automated Testing for Industrial Control Software. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyuan Wan, David Lo 0001, Xin Xia 0001, Liang Cai, Shanping Li |
Mining Sandboxes for Linux Containers. |
ICST |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shabnam Mirshokraie, Ali Mesbah 0001, Karthik Pattabiraman |
Atrina: Inferring Unit Oracles from GUI Test Cases. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Feldt, Simon M. Poulding, David Clark 0001, Shin Yoo |
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Moran, Mario Linares Vásquez, Carlos Bernal-Cárdenas, Christopher Vendome, Denys Poshyvanyk |
Automatically Discovering, Reporting and Reproducing Android Application Crashes. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Donghwan Shin 0001, Doo-Hwan Bae |
A Theoretical Framework for Understanding Mutation-Based Testing Methods. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Lu 0005, Tao Yue 0002, Shaukat Ali 0001, Li Zhang 0029 |
Nonconformity Resolving Recommendations for Product Line Configuration. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Lima |
Automated Scenario-Based Testing of Distributed and Heterogeneous Systems. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonal Mahajan, Bailan Li, Pooyan Behnamghader, William G. J. Halfond |
Using Visual Symptoms for Debugging Presentation Failures in Web Applications. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Stivalet, Elizabeth Fong |
Large Scale Generation of Complex and Faulty PHP Test Cases. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Yu, Wei Wen, Xue Han, Jane Huffman Hayes |
Predicting Testability of Concurrent Programs. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Garousi, Kadir Herkiloglu |
Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience Report. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mouna Hammoudi, Gregg Rothermel, Paolo Tonella |
Why do Record/Replay Tests of Web Applications Break? |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden |
MuVM: Higher Order Mutation Analysis Virtual Machine for C. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Marculescu, Robert Feldt, Richard Torkar |
Using Exploration Focused Techniques to Augment Search-Based Software Testing: An Experimental Evaluation. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maicon Bernardino, Avelino F. Zorzo, Elder M. Rodrigues |
Canopus: A Domain-Specific Language for Modeling Performance Testing. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
Automatic Detection and Removal of Conformance Faults in Feature Models. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li |
An Empirical Study on Detecting and Fixing Buffer Overflow Bugs. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Liew, Cristian Cadar, Alastair F. Donaldson |
Symbooglix: A Symbolic Execution Engine for Boogie Programs. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar |
Profiting from Unit Tests for Integration Testing. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Al-Refai, Sudipto Ghosh, Walter Cazzola |
Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Itai Segall |
Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui |
Effective Partial Order Reduction in Model Checking Database Applications. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wetzlmaier, Rudolf Ramler, Werner Putschögl |
A Framework for Monkey GUI Testing. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruoyu Gao, Zhen Ming Jiang, Cornel Barna, Marin Litoiu |
A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Li 0008, Anthony Escalona, Tariq Kamal |
Skyfire: Model-Based Testing with Cucumber. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov |
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Xin |
Self-Healing Cloud Applications. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Long, Il-Chul Yoon, Adam A. Porter, Atif M. Memon, Alan Sussman |
Coordinated Collaborative Testing of Shared Software Components. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco A. Bianchi |
Testing Concurrent Software Systems. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joakim Gustavsson |
Verification Methodology for Fully Autonomous Heavy Vehicles. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zebao Gao |
Making System User Interactive Tests Repeatable: When and What Should we Control? |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily Kowalczyk |
Modeling App Behavior from Multiple Artifacts. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shih-Feng Sun, Andy Podgurski |
Properties of Effective Metrics for Coverage-Based Statistical Fault Localization. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Arcuri, José Campos 0001, Gordon Fraser 0001 |
Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Boyang Li 0002, Christopher Vendome, Mario Linares Vásquez, Denys Poshyvanyk, Nicholas A. Kraft |
Automatically Documenting Unit Test Cases. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahboubeh Dadkhah |
Semantic-Based Test Case Generation. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Kunze |
Symbolic Characterisation of Commonalities in Testing Software Product Lines. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, John Hughes 0001 |
How Well are Your Requirements Tested? |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wided Ghardallou, Nafi Diallo, Ali Mili 0001, Marcelo F. Frias |
Debugging without Testing. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Junjie Chen 0003, Yanwei Bai, Dan Hao 0001, Yingfei Xiong 0001, Hongyu Zhang 0002, Lu Zhang 0023, Bing Xie |
Test Case Prioritization for Compilers: A Text-Vector Based Approach. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson |
A Controlled Experiment in Testing of Safety-Critical Embedded Software. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdulmajeed Alameer, Sonal Mahajan, William G. J. Halfond |
Detecting and Localizing Internationalization Presentation Failures in Web Applications. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Larson, Anna Kirk |
Generating Evil Test Strings for Regular Expressions. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hughes 0001, Benjamin C. Pierce, Thomas Arts, Ulf Norell |
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yufeng Cheng, Meng Wang 0002, Yingfei Xiong 0001, Dan Hao 0001, Lu Zhang 0023 |
Empirical Evaluation of Test Coverage for Functional Programs. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Huo, James Clause |
Interpreting Coverage Information Using Direct and Indirect Coverage. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Zuddas |
Semantic Testing of Interactive Applications. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | |
2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016 |
ICST |
2016 |
DBLP BibTeX RDF |
|
| 1 | Luís Pina, Michael Hicks 0001 |
Tedsuto: A General Framework for Testing Dynamic Software Updates. |
ICST |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Mühlbacher-Karrer, Hubert Zangl |
Electrical Capacitance Tomography with a variable topology. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | T. A. S. Achala Perera, John Collins |
Imaged based species recognition system. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | L'udmila Klukova, Jaroslav Filip, Jan Tkac |
Graphene-based lectin biosensor for ultrasensitive detection of glycan structures applicable in early diagnostics. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pasquale Arpaia, Domenico Caiazza, G. Deferne, Carlo Petrone, Stephan Russenschuck |
Advances in stretched and oscillating-wire methods for magnetic measurement. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdulfatah A. G. Abushagur, Ahmad Ashrif A. Bakar, Mohd Saiful Dzulkefly Zan, Norhana Arsad, Sahbudin Shaari |
Decoupling method solving axial/transverse forces crosstalk in retinal microsurgery's force sensing instruments. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Roumen Nojdelov, Dirk Voigt, Arthur S. van de Nes, Stoyan N. Nihtianov |
Investigation of error- and drift sources in a capacitive sensor system for sub-nanometer displacement measurement. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibrahim Al-Bahadly, Justin Moloney |
Remote monitoring system for deadlocks. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Ikezawa, Jun Yamamoto, Toshitsugu Ueda |
Development of helium-microwave-induced plasma-atomic emission spectroscopy system with two-way spectroscopic analysis. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong-feng He, Mitsuharu Shiwa |
High sensitive magnetic sensor with amorphous wire. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed M. Almassri, W. Z. WanHasan, Siti Anom Ahmad, Asnor J. Ishak, Chikamune Wada |
Optimisation of grasping object based on pressure sensor measurement for robotic hand gripper. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nasrin Afsarimanesh, Asif I. Zia, S. C. Mukhopadhyay 0001, Marlena Kruger, P. L. Yu, Jürgen Kosel |
Development of a sensing system to detect C-telopeptide of type-I collagen. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Shuk, Robert Jantz |
Oxygen gas sensing technologies: A comprehensive review. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander C. Amies, Christopher G. Pretty, Geoffrey W. Rodgers, J. Geoffrey Chase |
A continuous wave radar technique for structural health monitoring. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibrahim Al-Bahadly, Jonathan Thompson |
Garden watering system based on moisture sensing. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yew Tze Hui, Muhammad Nasiruddin Mahyuddin |
Time synchronization using distributed observer algorithm with sliding mode control element in wireless sensor networks. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license