Search CORE

16 research outputs found

Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

Author: Bøgholm Thomas
Luckow Kasper Søe
Thomsen Bent
Publication venue
Publication date: 09/04/2013
Field of study

VBN

Safety Critical Java for Robotics Programming

Author: Bøgholm Thomas
Korsholm Stephan
Luckow Kasper Søe
Thomsen Bent
Thomsen Lone Leth
Publication venue: Aalborg Universitetsforlag
Publication date: 01/01/2015
Field of study

VBN

Platforms and Model-Based Analyses for Real-Time Java

Author: Luckow Kasper Søe
Publication venue: Department of Computer Science, Aalborg University
Publication date: 01/01/2014
Field of study

VBN

Symbolic PathFinder v7

Author: Luckow Kasper Søe
Păsăreanu Corina
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date: 01/01/2014
Field of study

We describe Symbolic PathFinder v7 in terms of its updated design addressing the changes of Java PathFinder v7 and of its new optimization when computing path conditions. Furthermore, we describe the Symbolic Execution Tree Extension; a newly added feature that allows for outputting the symbolic execution tree that characterizes the execution paths covered during symbolic execution. The new extension can be tailored to the needs of subsequent analyses/processing facilities, and we demonstrate this by presenting SPF-Visualizer, which is a tool for customizable visualization of the symbolic execution tree.</jats:p

Crossref

VBN