Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh 0002 |
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nina Yevtushenko 0001, Ana Rosa Cavalli, Hüsnü Yenigün (eds.) |
Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick |
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Adenilso da Silva Simão |
Generating Checking Sequences for User Defined Fault Models. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Felbinger, Ingo Pill, Franz Wotawa |
A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Krafczyk, Jan Peleska 0001 |
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Petra van den Bos, Ramon Janssen, Joshua Moerman |
n-Complete Test Suites for IOCO. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall |
Constraint-Based Oracles for Timed Distributed Systems. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei 0001, Franz Wotawa |
Testing TLS Using Combinatorial Methods and Execution Framework. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya |
Synchronizing Heuristics: Speeding up the Slowest. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Adenilso da Silva Simão |
Fault-Based Testing for Refinement in CSP. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wen-ling Huang, Jan Peleska 0001 |
Safety-Complete Test Suites. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hung-En Wang, Kuan-Hua Tu, Jie-Hong R. Jiang, Natalia Kushik |
Homing Sequence Derivation with Quantified Boolean Satisfiability. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Hofer, Iulia Nica, Franz Wotawa |
AI for Localizing Faults in Spreadsheets. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa |
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Huster, Jonas Ströbele, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandr S. Tvardovskii |
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roland Groz, Adenilso da Silva Simão, Catherine Oriat |
Adaptive Localizer Based on Splitting Trees. |
ICTSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Krishna Patel, Robert M. Hierons |
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh 0002 |
Test Generation by Constraint Solving and FSM Mutant Killing. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, Yu Lei 0001 |
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger, Reinhard German |
From Simulation Data to Test Cases for Fully Automated Driving and ADAS. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eder C. M. Gomes, Paulo Roberto Pessoa Amora, Elvis Marques Teixeira, Antonio G. S. Lima, Felipe T. Brito, Juliano F. C. Ciocari, Javam C. Machado |
UTTOS: A Tool for Testing UEFI Code in OS Environment. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Controllability Through Nondeterminism in Distributed Testing. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Hüsnü Yenigün |
Parallelizing Heuristics for Generating Synchronizing Sequences. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen |
Risk-Based Interoperability Testing Using Reinforcement Learning. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mireilla Martínez, Anna Esparcia-Alcázar, Urko Rueda, Tanja E. J. Vos, Carlos Ortega |
Automated Localisation Testing in Industry with Test ^* ∗. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Kampel, Dimitris E. Simos |
Set-Based Algorithms for Combinatorial Test Set Generation. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif |
Back-to-Back Testing of Self-organization Mechanisms. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Collavizza, Claude Michel, Michel Rueher |
Searching Critical Values for Floating-Point Programs. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dipesh Pradhan, Shuai Wang 0001, Shaukat Ali 0001, Tao Yue 0002, Marius Liaaen |
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nina Yevtushenko 0001, Khaled El-Fakih, Anton Ermakov |
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antti Jääskeläinen |
Towards Model Construction Based on Test Cases and GUI Extraction. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gregor von Bochmann |
Conformance Testing with Respect to Partial-Order Specifications. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson |
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Suzuki, Quentin Plessis, Takeshi Kitahara, Masato Tsuru |
Distribution Visualization for User Behavior Analysis on LTE Network. |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Franz Wotawa, Mihai Nica, Natalia Kushik (eds.) |
Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings |
ICTSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin A. Schneider, Marc-Florian Wendland, Andreas Hoffmann 0001 |
A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto |
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Kushik, Hüsnü Yenigün |
Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel |
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Edmond La Chance, Sébastien Gaboury |
Graph Methods for Generating Test Cases with Universal and Existential Constraints. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Waqar Aziz, Syed Abdul Baqi Shah |
Test-Data Generation for Testing Parallel Real-Time Systems. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rui Abreu 0001, Simon Außerlechner, Birgit Hofer, Franz Wotawa |
Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ammar Mohammed Sultan, Salmi Baharom, Abdul Azim Abdul Ghani, Jamilah Din, Hazura Zulzalil |
Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi |
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Kitahara, Shuichi Nawata, Masaki Suzuki, Norihiro Fukumoto, Shigehiro Ano |
A Practical Evaluation Method of Network Traffic Load for Capacity Planning. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Khaled El-Fakih, Gerassimos D. Barlas, Nina Yevtushenko 0001 (eds.) |
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Adenilso da Silva Simão |
Checking Experiments for Finite State Machines with Symbolic Inputs. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ramsay Taylor, John Derrick |
mu2: A Refactoring-Based Mutation Testing Framework for Erlang. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson |
A Survey on Testing for Cyber Physical System. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira |
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün |
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Weißleder, Florian Wartenberg, Hartmut Lackner |
Automated Test Design for Boundaries of Product Line Variants. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat |
Inferring Finite State Machines Without Reset Using State Identification Sequences. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa |
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software. |
ICTSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Khaled El-Fakih, Tariq Salameh, Nina Yevtushenko 0001 |
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eun-Hye Choi, Takashi Kitamura 0001, Cyrille Artho, Yutaka Oiwa |
Design of Prioritized N-Wise Testing. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif |
Towards Testing Self-organizing, Adaptive Systems. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kivanc Doganay, Sigrid Eldh, Wasif Afzal, Markus Bohlin |
Search-Based Testing for Embedded Telecom Software with Complex Input Structures. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anca Deak |
What Characterizes a Good Software Tester? - A Survey in Four Norwegian Companies. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Bures |
Change Detection System for the Maintenance of Automated Testing. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry |
An Approach to Derive Usage Models Variants for Model-Based Testing. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Uraz Cengiz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün |
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo |
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes G. Merayo, Edgardo Montes de Oca (eds.) |
Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Schmidberger |
Well-Defined Coverage Metrics for the Glass Box Test. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaukat Ali 0001, Tao Yue 0002 |
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Palmieri, Antonio Cicchetti, Anders Öberg |
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Franz Wotawa, Josip Bozic |
Plan It! Automated Security Testing Based on Planning. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anurag Dwarakanath, Aruna Jankiti |
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martial Chabot, Laurence Pierre |
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Morten Mossige, Arnaud Gotlieb, Hein Meling |
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mariem Abdelmoula, Daniel Gaffé, Michel Auguin |
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems. |
ICTSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wen-ling Huang, Jan Peleska 0001 |
Exhaustive Model-Based Equivalence Class Testing. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro |
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek |
Variations over Test Suite Reduction. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko 0001 |
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke |
Finding Errors in Python Programs Using Dynamic Symbolic Execution. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Ibing |
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Stepien, Liam Peyton |
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet |
Remote Testing of Timed Specifications. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich (eds.) |
Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage |
Guided Algebraic Specification Mining for Failure Simplification. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, Zongyan Qiu |
Automatic Grammar-Based Test Generation. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson |
Using Logic Coverage to Improve Testing Function Block Diagrams. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Mauser, Alexander Klaus, Konstantin Holl |
Towards a GUI Test Model Using State Charts and Programming Code. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
A Dynamic Approach to Locating Memory Leaks. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Feyzullah Koca, Hasan Sözer, Rui Abreu 0001 |
Spectrum-Based Fault Localization for Diagnosing Concurrency Faults. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mourad Badri, Linda Badri, William Flageol |
Predicting the Size of Test Suites from Use Cases: An Empirical Exploration. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Gaston, Robert M. Hierons, Pascale Le Gall |
An Implementation Relation and Test Framework for Timed Distributed Systems. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia |
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lei Feng 0002, Simon Lundmark, Karl Meinke, Fei Niu, Muddassar A. Sindhu, Peter Y. H. Wong |
Case Studies in Learning-Based Testing. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Ponce de León, Stefan Haar, Delphine Longuet |
Unfolding-Based Test Selection for Concurrent Conformance. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel, Tom Melham, Daniel Kroening |
Chaining Test Cases for Reactive System Testing. |
ICTSS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Gargantini, Marco Guarnieri, Eros Magri |
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel |
Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel |
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Akihito Hiromori, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino |
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frits W. Vaandrager |
Active Learning of Extended Finite State Machines. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|