Hunting Memory Bugs in C Programs with Map2Check: (Competition Contribution)
Map2Check is a tool for automatically generating and checking unit tests for C programs.
The generation of unit tests is based on assertions extracted from (memory) safety …
The generation of unit tests is based on assertions extracted from (memory) safety …
Memory management test-case generation of C programs using bounded model checking
We describe a novel method to automatically generate and verify memory management test
cases for unit tests, which are based on assertions extracted from safety properties typically …
cases for unit tests, which are based on assertions extracted from safety properties typically …
Jfortes: Java formal unit test generation
L Bentes, H Rocha, E Valentin… - 2016 VI Brazilian …, 2016 - ieeexplore.ieee.org
The use of computer-based systems has increased significantly over the last years in
several domains, mainly when we take into account the applications running on mobile …
several domains, mainly when we take into account the applications running on mobile …
Syncretic post-biological digital identity: Hybridizing mixed reality data transfer systems
J Stadon, R Grasset - … on Distributed Simulation and Real Time …, 2011 - ieeexplore.ieee.org
This paper offers a contribution to an emerging culturally orientated discourse regarding
mixed reality interaction. It seeks to analyse syncretic, hybridized agency, particularly in …
mixed reality interaction. It seeks to analyse syncretic, hybridized agency, particularly in …
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
HO Rocha - 2015 - tede.ufam.edu.br
Oneofthemainchallenges insoftwaredevelopment istoensurethesafetyofthesoftwaresystems,
especially in critical embedded systems, such as aircraft or healthcare, where several …
especially in critical embedded systems, such as aircraft or healthcare, where several …