Aichernig, Bernhard: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Shanghai, China (2016.7.17-2016.7.19)] 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) - On-the-Fly Determinization of Bounded Networks of Timed Automata

Aichernig, Bernhard K., Lorber, Florian

Year:

2016

Language:

english

File:

PDF, 267 KB

english, 2016

52

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Property-Based Testing with External Test-Case Generators

Aichernig, Bernhard K., Marcovic, Silvio, Schumi, Richard

Year:

2017

Language:

english

File:

PDF, 507 KB

english, 2017

53

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Model-Based Testing IoT Communication via Active Automata Learning

Tappler, Martin, Aichernig, Bernhard K., Bloem, Roderick

Year:

2017

Language:

english

File:

PDF, 228 KB

english, 2017

54

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Statistical Model Checking Meets Property-Based Testing

Aichernig, Bernhard K., Schumi, Richard

Year:

2017

Language:

english

File:

PDF, 251 KB

english, 2017

55

Bounded determinization of timed automata with silent transitions

Florian Lorber,Amnon Rosenmann,Dejan Ničković,Bernhard K. Aichernig

Journal:

Real-Time Systems

Year:

2017

Language:

english

File:

PDF, 1.88 MB

english, 2017

56

Property-based testing of web services by deriving properties from business-rule models

Aichernig, Bernhard K., Schumi, Richard

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.88 MB

english, 2017

57

Efficient Active Automata Learning via Mutation Testing

Aichernig, Bernhard K., Tappler, Martin

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 929 KB

english, 2018

58

Learning and statistical model checking of system response times

Aichernig, Bernhard K., Bauerstätter, Priska, Jöbstl, Elisabeth, Kann, Severin, Korošec, Robert, Krenn, Willibald, Mateis, Cristinel, Schlick, Rupert, Schumi, Richard

Journal:

Software Quality Journal

Year:

2019

Language:

english

File:

PDF, 3.96 MB

english, 2019

59

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Automata Learning for Symbolic Execution

Aichernig, Bernhard K., Bloem, Roderick, Ebrahimi, Masoud, Tappler, Martin, Winter, Johannes

Year:

2018

File:

PDF, 9 KB

2018

60

Special section of Tests and Proofs 2016

Aichernig, Bernhard K., Furia, Carlo A., Gaudel, Marie-Claude, Hierons, Rob

Journal:

Formal Aspects of Computing

Year:

2018

Language:

english

File:

PDF, 291 KB

english, 2018

61

[IEEE 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Xi'an, China (2019.4.22-2019.4.23)] 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Programming Behavioral Test Models for SMT Solving in Scala

Aichernig, Bernhard K., Maderbacher, Benedikt, Tiran, Stefan

Year:

2019

Language:

english

File:

PDF, 243 KB

english, 2019

62

Probabilistic black-box reachability checking (extended version)

Aichernig, Bernhard K., Tappler, Martin

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 849 KB

english, 2019

63

Special issue on testing extra‐functional properties

Saadatmand, Mehrdad, Lindström, Birgitta, Aichernig, Bernhard K.

Journal:

Software Testing, Verification and Reliability

Year:

2019

File:

PDF, 109 KB

2019