Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 6)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030793784, 9783030793791
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generating Timed UI Tests from Counterexamples

2021 ◽  
pp. 53-71
Author(s):  
Dominik Diner ◽  
Gordon Fraser ◽  
Sebastian Schweikl ◽  
Andreas Stahlbauer

Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs

2021 ◽  
pp. 72-84
Author(s):  
Amirfarhad Nilizadeh ◽  
Gary T. Leavens ◽  
Corina S. Păsăreanu
Keyword(s):  
Branch Coverage

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

2021 ◽  
pp. 85-105
Author(s):  
Kaled M. Alshmrany ◽  
Mohannad Aldughaim ◽  
Ahmed Bhayat ◽  
Lucas C. Cordeiro
Keyword(s):  
Energy Efficient ◽  
Security Vulnerabilities ◽  
C Programs ◽  
Efficient Test

scholarly journals A Benchmarks Library for Extended Parametric Timed Automata

2021 ◽  
pp. 39-50
Author(s):  
Étienne André ◽  
Dylan Marinho ◽  
Jaco van de Pol
Keyword(s):  
Timed Automata

scholarly journals Architecture-Guided Test Resource Allocation via Logic

2021 ◽  
pp. 22-38
Author(s):  
Clovis Eberhart ◽  
Akihisa Yamada ◽  
Stefan Klikovits ◽  
Shin-ya Katsumata ◽  
Tsutomu Kobayashi ◽  
...  
Keyword(s):  
Resource Allocation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document