Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 10)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030509941, 9783030509958

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SAT Modulo Differential Equation Simulations

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_5 ◽

2020 ◽

pp. 80-99

Author(s):

Tomáš Kolárik ◽

Stefan Ratschan

Keyword(s):

Differential Equation

Download Full-text

A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_9 ◽

2020 ◽

pp. 155-166

Author(s):

Paolo Masci ◽

César A. Muñoz

Download Full-text

Verified Runtime Assertion Checking for Memory Properties

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_6 ◽

2020 ◽

pp. 100-121

Author(s):

Dara Ly ◽

Nikolai Kosmatov ◽

Frédéric Loulergue ◽

Julien Signoles

Keyword(s):

Runtime Assertion Checking

Download Full-text

Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_4 ◽

2020 ◽

pp. 59-79

Author(s):

Hojat Khosrowjerdi ◽

Hamed Nemati ◽

Karl Meinke

Keyword(s):

Model Checking ◽

Cyber Physical Systems ◽

Physical Systems ◽

Graph Queries ◽

Temporal Model ◽

Spatio Temporal

Download Full-text

Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_1 ◽

2020 ◽

pp. 3-22

Author(s):

Bernhard K. Aichernig ◽

Martin Tappler ◽

Felix Wallner

Keyword(s):

Automata Learning ◽

Testing Algorithms

Download Full-text

ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_10 ◽

2020 ◽

pp. 169-179

Author(s):

Martin Mariusz Lester

Keyword(s):

Interactive Fiction ◽

Code Coverage ◽

Download Full-text

sasa: A SimulAtor of Self-stabilizing Algorithms

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_8 ◽

2020 ◽

pp. 143-154

Author(s):

Karine Altisen ◽

Stéphane Devismes ◽

Erwan Jahier

Download Full-text

Mutation Testing of Smart Contracts at Scale

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_2 ◽

2020 ◽

pp. 23-42

Author(s):

Pieter Hartel ◽

Richard Schumi

Keyword(s):

Mutation Testing ◽

Smart Contracts

Download Full-text

Deductive Binary Code Verification Against Source-Code-Level Specifications

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_3 ◽

2020 ◽

pp. 43-58

Author(s):

Alexander Kamkin ◽

Alexey Khoroshilov ◽

Artem Kotsynyak ◽

Pavel Putro

Keyword(s):

Binary Code ◽

Source Code ◽

Code Verification

Download Full-text

Testing for Race Conditions in Distributed Systems via SMT Solving

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_7 ◽

2020 ◽

pp. 122-140

Author(s):

João Carlos Pereira ◽

Nuno Machado ◽

Jorge Sousa Pinto

Keyword(s):

Distributed Systems ◽

Smt Solving ◽

Race Conditions

Download Full-text