Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Natalia Kushik, Nina Yevtushenko 0001, Jorge López |
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 237-243, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dia Istanbuly, Max Zimmer, Gregory Gay 0002 |
How Do Different Types of Testing Goals Affect Test Case Design? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 97-114, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Franz Wotawa, Ledio Jahaj, Nicole Brosch |
On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 40-51, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Li Huang 0003, Bertrand Meyer 0001, Manuel Oriol |
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 52-70, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Coppola, Luca Ardito, Marco Torchiano |
Multi-device, Robust, and Integrated Android GUI Testing: A Conceptual Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 115-125, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luciana Brasil Rebelo dos Santos, Erica Ferreira 0001, Gian Ricardo Berkenbrock, Gerson Barbosa, Marlon da Silva, André Takeshi Endo, Nandamudi Vijaykumar, Catia Trubiani |
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 219-236, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Marchetto 0001 |
A Rapid Review on Fuzz Security Testing for Software Protocol Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 3-20, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ildar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe |
RQCODE: Security Requirements Formalization with Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 126-142, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi (eds.) |
Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-031-43239-2 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhongyan Chen, Suzanne M. Embury, Markel Vigo |
Who Is Afraid of Test Smells? Assessing Technical Debt from Developer Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 160-175, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Escheikh, Wiem Taktak, Kamel Barkaoui |
Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 274-288, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Diaeddin Rimawi, Antonio Liotta, Marco Todescato, Barbara Russo |
GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 266-273, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Garn, Ludwig Kampel, Manuel Leithner, Berina Celic, Ceren Çulha, Irene Hiess, Klaus Kieseberg, Marlene Koelbing, Dominik-Philip Schreiber, Michael Wagner 0026, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos |
Applying Pairwise Combinatorial Testing to Large Language Model Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 247-256, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gijs van Cuyck, Lars van Arragon, Jan Tretmans |
Compositionality in Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 202-218, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chao Tan, Razieh Behjati, Erik Arisholm |
Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 21-39, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Özge Akat, Hasan Sözer |
Automated Testing of Systems of Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 73-79, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Morena Barboni, Guglielmo De Angelis, Andrea Morichetta 0001, Andrea Polini |
CATANA: Replay Testing for the Ethereum Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 257-265, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gerson Barbosa, Erica Ferreira 0001, Luciana Brasil Rebelo dos Santos, Marlon da Silva, Juliana Marino Balera, Nandamudi Vijaykumar |
A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 179-182, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001, Robert Sachtleben |
Complete Property-Oriented Module Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 183-201, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Paul Enoiu, Gregory Gay 0002, Jameel Esber, Robert Feldt |
Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 143-159, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam Roman, Michal Mnich, Jaroslaw Hryszko |
Empirical Verification of TQED - A New Test Design Heuristic Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 80-96, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Clark 0001, Héctor D. Menéndez 0001, Ana Rosa Cavalli (eds.) |
Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-031-04672-8 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Foster 0001, John Derrick, Neil Walkinshaw |
Reverse-Engineering EFSMs with Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 37-54, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão |
Improving Model Inference via W-Set Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 90-105, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marta Catillo, Andrea Del Vecchio, Antonio Pecchia, Umberto Villano |
On the Quality of Network Flow Records for IDS Evaluation: A Collaborative Filtering Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 196-209, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Kushik, Nina Yevtushenko 0001, Jorge López |
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 55-61, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Oliver A. Tazl, Franz Wotawa |
Metamorphic Testing of Logic Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 131-137, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Theofanis Vassiliou-Gioles |
Solving the Instance Identification Problem in Micro-service Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 189-195, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | René Fritze, Stephan Rave |
Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 181-188, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jianwei Shi 0001, Kurt Schneider |
Creation of Human-friendly Videos for Debugging Automated GUI-Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 141-147, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Ibias, Luis Llana, Manuel Núñez 0001 |
Using Ant Colony Optimisation to Select Features Having Associated Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 106-122, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wenxi Wang, Pu Yi 0001, Sarfraz Khurshid, Darko Marinov |
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 123-130, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Bergenthal, Niklas Krafczyk, Jan Peleska 0001, Robert Sachtleben |
libfsmtest An Open Source Library for FSM-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 3-19, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Smit Patel, Roopak Sinha |
Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 148-159, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 65-72, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amin Eslami Abyane, Hadi Hemmati |
Robustness Analysis of Deep Learning Frameworks on Mobile Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 160-177, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Said Daoudagh, Eda Marchetti |
GROOT: A GDPR-Based Combinatorial Testing Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 210-217, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi 0001, Thomas Arts |
Locality-Based Test Selection for Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 73-89, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Omer Nguena Timo |
Mining Precise Test Oracle Modelled by FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 20-36, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Salva, Elliott Blot |
Using Model Learning for the Generation of Mock Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 3-19, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oussama Jebbar, Ferhat Khendek, Maria Toeroe |
Methods for Live Testing of Cloud Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 201-216, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Russo, Luca Verderame, Alessio Merlo |
Enabling Next-Generation Cyber Ranges with Mobile Security Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 150-165, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace |
Inspecting Code Churns to Prioritize Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 272-285, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Christian Burghard |
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 35-51, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arnab Sharma, Heike Wehrheim |
Automatic Fairness Testing of Machine Learning Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 255-271, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marta Catillo, Antonio Pecchia, Umberto Villano |
Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 121-134, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Porfirio Tramontana, Nicola Amatucci, Anna Rita Fasolino |
A Technique for Parallel GUI Testing of Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 169-185, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Luca Verderame, Davide Caputo, Andrea Romdhana, Alessio Merlo |
APPregator: A Large-Scale Platform for Mobile Security Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 73-88, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hao Jin, Takashi Kitamura 0001, Eun-Hye Choi, Tatsuhiro Tsuchiya |
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 302-309, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra-Elena Mocanu (Mihaita), Bogdan-Costel Mocanu, Christian Esposito 0001, Florin Pop |
Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 135-149, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Pferscher, Bernhard K. Aichernig |
Learning Abstracted Non-deterministic Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 52-69, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Casola, Alessandra De Benedictis, Massimiliano Rak (eds.) |
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-030-64880-0 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arcangelo Castiglione, Francesco Palmieri 0002, Mariangela Petraglia, Raffaele Pizzolante |
Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 89-103, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erb, Christian Steger, Martin Troyer, Josef Preishuber-Pflügl |
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 186-200, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Caturano, Gaetano Perrone, Simon Pietro Romano |
Hacking Goals: A Goal-Centric Attack Classification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 296-301, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo B. Pereira, Miguel A. Brito, Ricardo J. Machado 0001 |
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 310-316, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gerardo Canfora, Mimmo Carapella, Andrea Del Vecchio, Laura Nardi, Antonio Pirozzi, Corrado Aaron Visaggio |
About the Robustness and Looseness of Yara Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 104-120, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Josip Bozic, Franz Wotawa |
Interrogating Virtual Agents: In Quest of Security Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 20-34, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lina Marsso, Radu Mateescu 0001, Wendelin Serwe |
Automated Transition Coverage in Behavioural Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 219-235, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko 0001 |
Using an SMT Solver for Checking the Completeness of FSM-Based Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 289-295, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert Sachtleben |
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp. 236-254, 2020, Springer, 978-3-030-64880-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy 0001, A. Omar Portillo-Dominguez |
DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 234-241, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall (eds.) |
Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-030-31279-4 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy 0001, A. Omar Portillo-Dominguez |
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 215-233, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florian Klück, Martin Zimmermann 0007, Franz Wotawa, Mihai Nica |
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 140-156, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Regular Expression Learning with Evolutionary Testing and Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 22-40, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska 0001 |
A Mechanised Proof of an Adaptive State Counting Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 176-193, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli |
Attack Tolerance for Services-Based Applications in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 242-258, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Shin Nakajima 0001, Tsong Yueh Chen |
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 56-64, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi 0002, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger |
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 3-21, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clotilde Erard, Alain Giorgetti |
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 159-175, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko 0001, Djamal Zeghlache |
A Model Checking Based Approach for Detecting SDN Races. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 194-211, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Samson, Thomas Vergnaud |
Automatic Generation of Test Oracles from Component Based Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 261-269, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Omer Nguena Timo, Dimitri Prestat, Antoine Rollet |
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 104-120, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nina Yevtushenko 0001, Victor V. Kuliamin, Natalia Kushik |
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 86-103, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Josip Bozic, Franz Wotawa |
Testing Chatbots Using Metamorphic Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 41-55, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei 0001 |
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 67-85, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Leon Sell, Michael Auer, Christoph Frädrich, Michael Gruber, Philemon Werli, Gordon Fraser 0001 |
An Empirical Evaluation of Search Algorithms for App Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 123-139, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diego Rivera, Edgardo Montes de Oca, Wissam Mallouli, Ana R. Cavalli, Brecht Vermeulen, Matevz Vucnik |
Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 270-278, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Sabóia Aragão, Rossana M. C. Andrade, Ismayle S. Santos, Rute N. S. Castro, Valéria Lelli, Ticianne G. R. Darin |
TestDCat: Catalog of Test Debt Subtypes and Management Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 279-295, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Salva, Elliott Blot, Patrice Laurençot |
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 142-148, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Interactive Testing and Repairing of Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 1-16, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Franz Wotawa, Yihao Li |
From Ontologies to Input Models for Combinatorial Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 155-170, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ali Parsai, Serge Demeyer, Seph De Busser |
C++11/14 Mutation Operators Based on Common Fault Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 102-118, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko 0001 |
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 149-154, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nisha Desai 0001, Martin Gogolla |
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 62-68, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons (eds.) |
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-319-99926-5 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Josip Bozic, Franz Wotawa |
Security Testing for Chatbots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 33-38, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim |
JMCTest: Automatically Testing Inter-Method Contracts in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 39-55, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | I. S. Wishnu B. Prasetya, Minh An Tran |
Neural Networks as Artificial Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 135-141, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino |
An Energy Aware Testing Framework for Smart-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 85-101, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marlon Cárdenas, Jorge J. Gómez-Sanz, Juan Pavón |
Testing Ambient Assisted Living Solutions with Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 56-61, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
Validation of Transformation from Abstract State Machine Models to C++ Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 17-32, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Florent Avellaneda |
Conformance Testing and Inference of Embedded Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 119-134, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jorge López, Natalia Kushik, Asma Berriri, Nina Yevtushenko 0001, Djamal Zeghlache |
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, pp. 69-84, 2018, Springer, 978-3-319-99926-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat |
From Passive to Active FSM Inference via Checking Sequence Construction. ![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. 126-141, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tao Ma, Shaukat Ali 0001, Tao Yue 0002, Maged Elaasar |
Fragility-Oriented Testing with Model Execution and Reinforcement Learning. ![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. 3-20, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Renard, Antoine Rollet, Yliès Falcone |
GREP: Games for the Runtime Enforcement of Properties. ![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. 259-275, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Salva, Loukmen Regainia |
Using Data Integration for Security Testing. ![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. 178-194, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jorge López, Natalia Kushik, Djamal Zeghlache |
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. ![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. 213-229, 2017, Springer, 978-3-319-67548-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|