The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICTSS"( http://dblp.L3S.de/Venues/ICTSS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/pts

Publication years (Num. hits)
2010 (19) 2011 (16) 2012 (19) 2013 (21) 2014 (18) 2015 (19) 2016 (19) 2017 (23) 2018 (15) 2019 (19) 2020 (22) 2021 (17) 2022-2023 (22)
Publication types (Num. hits)
inproceedings(236) proceedings(13)
Venues (Conferences, Journals, ...)
ICTSS(249)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 249 publication records. Showing 249 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Natalia Kushik, Nina Yevtushenko 0001, Jorge López Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Dia Istanbuly, Max Zimmer, Gregory Gay 0002 How Do Different Types of Testing Goals Affect Test Case Design? Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Franz Wotawa, Ledio Jahaj, Nicole Brosch On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Li Huang 0003, Bertrand Meyer 0001, Manuel Oriol Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Riccardo Coppola, Luca Ardito, Marco Torchiano Multi-device, Robust, and Integrated Android GUI Testing: A Conceptual Framework. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Luciana 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 ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Alessandro Marchetto 0001 A Rapid Review on Fuzz Security Testing for Software Protocol Implementations. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Ildar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe RQCODE: Security Requirements Formalization with Testing. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Silvia 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 ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Zhongyan Chen, Suzanne M. Embury, Markel Vigo Who Is Afraid of Test Smells? Assessing Technical Debt from Developer Actions. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Mohamed Escheikh, Wiem Taktak, Kamel Barkaoui Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Diaeddin Rimawi, Antonio Liotta, Marco Todescato, Barbara Russo GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Bernhard 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 ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Gijs van Cuyck, Lars van Arragon, Jan Tretmans Compositionality in Model-Based Testing. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Chao Tan, Razieh Behjati, Erik Arisholm Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Özge Akat, Hasan Sözer Automated Testing of Systems of Systems. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Morena Barboni, Guglielmo De Angelis, Andrea Morichetta 0001, Andrea Polini CATANA: Replay Testing for the Ethereum Blockchain. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Gerson 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 ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001, Robert Sachtleben Complete Property-Oriented Module Testing. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Eduard 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 ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Adam Roman, Michal Mnich, Jaroslaw Hryszko Empirical Verification of TQED - A New Test Design Heuristic Technique. Search on Bibsonomy ICTSS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1David 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 ICTSS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Michael Foster 0001, John Derrick, Neil Walkinshaw Reverse-Engineering EFSMs with Data Dependencies. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão Improving Model Inference via W-Set Reduction. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marta 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 ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Natalia Kushik, Nina Yevtushenko 0001, Jorge López Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Oliver A. Tazl, Franz Wotawa Metamorphic Testing of Logic Theorem Prover. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Theofanis Vassiliou-Gioles Solving the Instance Identification Problem in Micro-service Testing. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1René Fritze, Stephan Rave Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jianwei Shi 0001, Kurt Schneider Creation of Human-friendly Videos for Debugging Automated GUI-Tests. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alfredo Ibias, Luis Llana, Manuel Núñez 0001 Using Ant Colony Optimisation to Select Features Having Associated Costs. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Wenxi Wang, Pu Yi 0001, Sarfraz Khurshid, Darko Marinov Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Moritz Bergenthal, Niklas Krafczyk, Jan Peleska 0001, Robert Sachtleben libfsmtest An Open Source Library for FSM-Based Testing. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Smit Patel, Roopak Sinha Combining Holistic Source Code Representation with Siamese Neural Networks for Detecting Code Clones. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Amin Eslami Abyane, Hadi Hemmati Robustness Analysis of Deep Learning Frameworks on Mobile Platforms. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Said Daoudagh, Eda Marchetti GROOT: A GDPR-Based Combinatorial Testing Approach. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi 0001, Thomas Arts Locality-Based Test Selection for Autonomous Agents. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Omer Nguena Timo Mining Precise Test Oracle Modelled by FSM. Search on Bibsonomy ICTSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Sébastien Salva, Elliott Blot Using Model Learning for the Generation of Mock Components. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Oussama Jebbar, Ferhat Khendek, Maria Toeroe Methods for Live Testing of Cloud Services. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Enrico Russo, Luca Verderame, Alessio Merlo Enabling Next-Generation Cyber Ranges with Mobile Security Components. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace Inspecting Code Churns to Prioritize Test Cases. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Christian Burghard Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Arnab Sharma, Heike Wehrheim Automatic Fairness Testing of Machine Learning Models. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Marta Catillo, Antonio Pecchia, Umberto Villano Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Porfirio Tramontana, Nicola Amatucci, Anna Rita Fasolino A Technique for Parallel GUI Testing of Android Applications. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Luca Verderame, Davide Caputo, Andrea Romdhana, Alessio Merlo APPregator: A Large-Scale Platform for Mobile Security Analysis. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Hao Jin, Takashi Kitamura 0001, Eun-Hye Choi, Tatsuhiro Tsuchiya A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alexandra-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 ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Andrea Pferscher, Bernhard K. Aichernig Learning Abstracted Non-deterministic Finite State Machines. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Valentina 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 ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Arcangelo Castiglione, Francesco Palmieri 0002, Mariangela Petraglia, Raffaele Pizzolante Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Martin Erb, Christian Steger, Martin Troyer, Josef Preishuber-Pflügl Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Francesco Caturano, Gaetano Perrone, Simon Pietro Romano Hacking Goals: A Goal-Centric Attack Classification Framework. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Ricardo 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 ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Gerardo Canfora, Mimmo Carapella, Andrea Del Vecchio, Laura Nardi, Antonio Pirozzi, Corrado Aaron Visaggio About the Robustness and Looseness of Yara Rules. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Josip Bozic, Franz Wotawa Interrogating Virtual Agents: In Quest of Security Vulnerabilities. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lina Marsso, Radu Mateescu 0001, Wendelin Serwe Automated Transition Coverage in Behavioural Conformance Testing. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Evgenii M. Vinarskii, Andrey Laputenko, Nina Yevtushenko 0001 Using an SMT Solver for Checking the Completeness of FSM-Based Tests. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Robert Sachtleben An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm. Search on Bibsonomy ICTSS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Osvaldo 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 ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christophe 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 ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Osvaldo Huerta-Guevara, Vanessa Ayala-Rivera, Liam Murphy 0001, A. Omar Portillo-Dominguez Towards an Efficient Performance Testing Through Dynamic Workload Adaptation. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Klück, Martin Zimmermann 0007, Franz Wotawa, Mihai Nica Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene Regular Expression Learning with Evolutionary Testing and Repair. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska 0001 A Mechanised Proof of an Adaptive State Counting Algorithm. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Georges Ouffoué, Fatiha Zaïdi, Ana R. Cavalli Attack Tolerance for Services-Based Applications in the Cloud. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shin Nakajima 0001, Tsong Yueh Chen Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernhard 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 ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clotilde Erard, Alain Giorgetti Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Evgenii M. Vinarskii, Jorge López, Natalia Kushik, Nina Yevtushenko 0001, Djamal Zeghlache A Model Checking Based Approach for Detecting SDN Races. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maxime Samson, Thomas Vergnaud Automatic Generation of Test Oracles from Component Based Software Architectures. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Omer Nguena Timo, Dimitri Prestat, Antoine Rollet Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nina Yevtushenko 0001, Victor V. Kuliamin, Natalia Kushik Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Josip Bozic, Franz Wotawa Testing Chatbots Using Metamorphic Relations. Search on Bibsonomy ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea 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 ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leon 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 ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Diego 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 ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bruno 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 ICTSS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sébastien Salva, Elliott Blot, Patrice Laurençot Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene Interactive Testing and Repairing of Regular Expressions. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Franz Wotawa, Yihao Li From Ontologies to Input Models for Combinatorial Testing. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ali Parsai, Serge Demeyer, Seph De Busser C++11/14 Mutation Operators Based on Common Fault Patterns. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko 0001 Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nisha Desai 0001, Martin Gogolla Generating OCL Constraints from Test Case Schemas For Testing Model Behavior. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inmaculada 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 ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Josip Bozic, Franz Wotawa Security Testing for Chatbots. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim JMCTest: Automatically Testing Inter-Method Contracts in Java. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1I. S. Wishnu B. Prasetya, Minh An Tran Neural Networks as Artificial Specifications. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Teruhiro Mizumoto, Khaled El-Fakih, Keiichi Yasumoto, Teruo Higashino An Energy Aware Testing Framework for Smart-Spaces. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marlon Cárdenas, Jorge J. Gómez-Sanz, Juan Pavón Testing Ambient Assisted Living Solutions with Simulations. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor Validation of Transformation from Abstract State Machine Models to C++ Code. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexandre Petrenko, Florent Avellaneda Conformance Testing and Inference of Embedded Components. Search on Bibsonomy ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jorge 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 ICTSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat From Passive to Active FSM Inference via Checking Sequence Construction. Search on Bibsonomy ICTSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tao Ma, Shaukat Ali 0001, Tao Yue 0002, Maged Elaasar Fragility-Oriented Testing with Model Execution and Reinforcement Learning. Search on Bibsonomy ICTSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthieu Renard, Antoine Rollet, Yliès Falcone GREP: Games for the Runtime Enforcement of Properties. Search on Bibsonomy ICTSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sébastien Salva, Loukmen Regainia Using Data Integration for Security Testing. Search on Bibsonomy ICTSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jorge López, Natalia Kushik, Djamal Zeghlache Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. Search on Bibsonomy ICTSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 249 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license