arXiv 2019-11-15 EN Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing Marksteiner, Stefan · Ramler, Rudolf · Sochor, Hannes
arXiv 2017-10-10 EN Counterfactual Causality from First Principles? Gössler, Gregor · Sokolsky, Oleg · Stefani, Jean-Bernard
arXiv 2017-01-12 EN Log-based Anomaly Detection of CPS Using a Statistical Method Harada, Yoshiyuki · Yamagata, Yoriyuki · Mizuno, Osamu · Choi, Eun-Hye
arXiv 2016-09-28 EN Interprocedural Semantic Change-Impact Analysis using Equivalence Relations Gyori, Alex · Lahiri, Shuvendu K. · Partush, Nimrod
arXiv 2016-09-20 EN Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery Alipour, Mohammad Amin · Groce, Alex · Zhang, Chaoqiang · Sanadaji, Anahita +1
arXiv 2016-03-29 EN Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts Keshishzadeh, Sarmen · Mooij, Arjan J. · Hooman, Jozef
arXiv 2015-08-07 EN Your Proof Fails? Testing Helps to Find the Reason Petiot, Guillaume · Kosmatov, Nikolai · Botella, Bernard · Giorgetti, Alain +1
arXiv 2014-09-20 EN Incremental Bounded Model Checking for Embedded Software (extended version) Schrammel, Peter · Kroening, Daniel · Brain, Martin · Martins, Ruben +2
arXiv 2014-03-28 EN Generating Complete and Finite Test Suite for ioco: Is It Possible? Simao, Adenilso · Petrenko, Alexandre
arXiv 2014-03-28 EN Coverage Criteria for Model-Based Testing using Property Patterns Castillos, Kalou Cabrera · Dadeau, Frédéric · Julliand, Jacques
arXiv 2014-03-28 EN Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques van der Meer, A. P. · Kherrazi, R. · Hamilton, M.
arXiv 2014-03-28 EN Spinal Test Suites for Software Product Lines Beohar, Harsh · Mousavi, Mohammad Reza
arXiv 2014-03-28 EN Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing Colombo, Christian · Micallef, Mark · Scerri, Mark
arXiv 2014-03-27 EN Proceedings Ninth Workshop on Model-Based Testing Schlingloff, Holger · Petrenko, Alexander K.
arXiv 2013-03-05 EN Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines Weißleder, Stephan · Lackner, Hartmut
arXiv 2013-03-05 EN Testing Java implementations of algebraic specifications Nunes, Isabel · Luís, Filipe
arXiv 2013-03-05 EN Decomposability in Input Output Conformance Testing Noroozi, Neda · Mousavi, Mohammad Reza · Willemse, Tim A. C.
arXiv 2013-03-05 EN Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Chupilko, Mikhail · Kamkin, Alexander
arXiv 2013-03-05 EN Towards the Usage of MBT at ETSI Grabowski, Jens · Kuliamin, Victor · Feudjio, Alain-Georges Vouffo · Wu-Hen-Chang, Antal +1
arXiv 2013-03-05 EN Industrial-Strength Model-Based Testing - State of the Art and Current Challenges Peleska, Jan
