Randomized Refinement Checking of Timed I/O Automata

2020 ◽  
pp. 70-88
Author(s):  
Andrej Kiviriga ◽  
Kim Guldstrand Larsen ◽  
Ulrik Nyman
Keyword(s):  
Refinement Checking

scholarly journals Model-based mutation testing via symbolic refinement checking

2015 ◽  
Vol 97 ◽  
pp. 383-404 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Elisabeth Jöbstl ◽  
Stefan Tiran
Keyword(s):  
Mutation Testing ◽  
Model Based ◽  
Refinement Checking

scholarly journals A refinement checking based strategy for component-based systems evolution

2020 ◽  
Vol 167 ◽  
pp. 110598
Author(s):  
José Dihego ◽  
Augusto Sampaio ◽  
Marcel Oliveira
Keyword(s):  
Refinement Checking

An optimal cut-off algorithm for parameterised refinement checking

2020 ◽  
Vol 198 ◽  
pp. 102517
Author(s):  
Antti Siirtola ◽  
Keijo Heljanko
Keyword(s):  
Refinement Checking

scholarly journals Library-based scalable refinement checking for contract-based design

2014 ◽  
Author(s):  
Antonio Iannopollo ◽  
Pierluigi Nuzzo ◽  
Stavros Tripakis ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Refinement Checking

Anti-chain based algorithms for timed/probabilistic refinement checking

2017 ◽  
Vol 61 (5) ◽  
Author(s):  
Ting Wang ◽  
Tieming Chen ◽  
Yang Liu ◽  
Ye Wang
Keyword(s):  
Refinement Checking

scholarly journals Library-based scalable refinement checking for contract-based design

2014 ◽  
Author(s):  
Antonio Iannopollo ◽  
Pierluigi Nuzzo ◽  
Stavros Tripakis ◽  
Alberto Sangiovanni-Vincentelli
Keyword(s):  
Refinement Checking
Sign in / Sign up

Export Citation Format

Share Document