Verification Based Failure Detection for Real-Time Java and Floating-Point Computations
Licentiate thesis, 2013

Show more

Debugging

Floating-Point

Formal Methods

Testing

Real-Time Java

Coverage

Satisfiability Modulo Theories

Certification

Formal Specification

Author

Gabriele Paganelli

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Included papers

Real-time java API specifications for high coverage test generation

10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, 24 - 26 October 2012,;(2012)p. 145-154

Paper in proceeding

Categorizing

Areas of Advance

Information and Communication Technology

Subject Categories (SSIF 2011)

Software Engineering

Computer Science

Other

Series

Technical report L - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 105

Public defence

2013-11-21 11:00

room VK, Väg- och vattenbyggnad building, Sven Hultins Gata 6, Chalmers University of Technology

Opponent: Dilian Gurov, Associate Professor at the School of Science and Communications of the Royal Institute of Technology, Stockholm, Sweden.

More information

Created

10/8/2017