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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 108-125, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-319-67548-0 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 293-310, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Adenilso da Silva Simão |
Generating Checking Sequences for User Defined Fault Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 320-325, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 197-212, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Krafczyk, Jan Peleska 0001 |
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 38-53, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Petra van den Bos, Ramon Janssen, Joshua Moerman |
n-Complete Test Suites for IOCO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 91-107, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 276-292, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 162-177, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya |
Synchronizing Heuristics: Speeding up the Slowest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 243-256, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Adenilso da Silva Simão |
Fault-Based Testing for Refinement in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 21-37, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wen-ling Huang, Jan Peleska 0001 |
Safety-Complete Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 145-161, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 230-242, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Hofer, Iulia Nica, Franz Wotawa |
AI for Localizing Faults in Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 71-87, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 313-319, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 54-70, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandr S. Tvardovskii |
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 333-339, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roland Groz, Adenilso da Silva Simão, Catherine Oriat |
Adaptive Localizer Based on Splitting Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, pp. 326-332, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 123-138, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh 0002 |
Test Generation by Constraint Solving and FSM Mutant Killing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 36-51, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 70-85, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 191-206, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 218-224, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Controllability Through Nondeterminism in Distributed Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 89-105, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 106-122, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen |
Risk-Based Interoperability Testing Using Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 52-69, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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 ^* ∗. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 241-248, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Kampel, Dimitris E. Simos |
Set-Based Algorithms for Combinatorial Test Set Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 231-240, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif |
Back-to-Back Testing of Self-organization Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 18-35, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Collavizza, Claude Michel, Michel Rueher |
Searching Critical Values for Floating-Point Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 209-217, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 172-190, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 139-152, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antti Jääskeläinen |
Towards Model Construction Based on Test Cases and GUI Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 225-230, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gregor von Bochmann |
Conformance Testing with Respect to Partial-Order Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 3-17, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 155-171, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Suzuki, Quentin Plessis, Takeshi Kitahara, Masato Tsuru |
Distribution Visualization for User Behavior Analysis on LTE Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 249-255, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![, 978-3-319-47442-7 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 257-262, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 35-51, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 243-248, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel |
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 224-239, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 55-70, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Waqar Aziz, Syed Abdul Baqi Shah |
Test-Data Generation for Testing Parallel Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 211-223, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 124-140, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 249-256, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 105-123, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 263-268, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-319-25944-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Adenilso da Silva Simão |
Checking Experiments for Finite State Machines with Symbolic Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 3-18, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ramsay Taylor, John Derrick |
mu2: A Refactoring-Based Mutation Testing Framework for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 178-193, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson |
A Survey on Testing for Cyber Physical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 194-207, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira |
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 71-85, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 19-34, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Weißleder, Florian Wartenberg, Hartmut Lackner |
Automated Test Design for Boundaries of Product Line Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 86-101, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 161-177, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 141-157, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 198-204, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eun-Hye Choi, Takashi Kitamura 0001, Cyrille Artho, Yutaka Oiwa |
Design of Prioritized N-Wise Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 186-191, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif |
Towards Testing Self-organizing, Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 180-185, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 205-210, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anca Deak |
What Characterizes a Good Software Tester? - A Survey in Four Norwegian Companies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 161-172, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Bures |
Change Detection System for the Maintenance of Automated Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 192-197, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 80-96, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 32-47, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 1-16, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-662-44856-4 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Schmidberger |
Well-Defined Coverage Metrics for the Glass Box Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 113-128, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shaukat Ali 0001, Tao Yue 0002 |
Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 17-31, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 129-144, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Franz Wotawa, Josip Bozic |
Plan It! Automated Security Testing Based on Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 48-62, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anurag Dwarakanath, Aruna Jankiti |
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 63-79, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martial Chabot, Laurence Pierre |
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 173-179, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Morten Mossige, Arnaud Gotlieb, Hein Meling |
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 145-160, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mariem Abdelmoula, Daniel Gaffé, Michel Auguin |
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings, pp. 97-112, 2014, Springer, 978-3-662-44856-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wen-ling Huang, Jan Peleska 0001 |
Exhaustive Model-Based Equivalence Class Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 49-64, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 180-195, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Güttinger, Vitaly Kozyura, Dominik Kremer, Sebastian Wieczorek |
Variations over Test Suite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 149-163, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko 0001 |
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 33-48, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 283-289, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Ibing |
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 196-206, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Stepien, Liam Peyton |
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 207-222, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet |
Remote Testing of Timed Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 65-81, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-642-41706-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage |
Guided Algebraic Specification Mining for Failure Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 223-238, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, Zongyan Qiu |
Automatic Grammar-Based Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 17-32, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson |
Using Logic Coverage to Improve Testing Function Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 1-16, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Mauser, Alexander Klaus, Konstantin Holl |
Towards a GUI Test Model Using State Charts and Programming Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 271-276, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks |
A Dynamic Approach to Locating Memory Leaks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 255-270, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Feyzullah Koca, Hasan Sözer, Rui Abreu 0001 |
Spectrum-Based Fault Localization for Diagnosing Concurrency Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 239-254, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mourad Badri, Linda Badri, William Flageol |
Predicting the Size of Test Suites from Use Cases: An Empirical Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 114-132, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Gaston, Robert M. Hierons, Pascale Le Gall |
An Implementation Relation and Test Framework for Timed Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 82-97, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 277-282, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 164-179, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Ponce de León, Stefan Haar, Delphine Longuet |
Unfolding-Based Test Selection for Concurrent Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 98-113, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel, Tom Melham, Daniel Kroening |
Chaining Test Cases for Reactive System Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 133-148, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Gargantini, Marco Guarnieri, Eros Magri |
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 168-183, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 71-86, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 103-118, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 231-246, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frits W. Vaandrager |
Active Learning of Extended Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 5-7, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|