Sciweavers

MEMICS
2010
12 years 10 months ago
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
interpretation example conclusion Test-Case Generation for Embedded Binary ng Abstract Interpretation Thomas Reinbacher1 , J
Thomas Reinbacher, Jörg Brauer, Martin Horaue...
CORR
2011
Springer
169views Education» more  CORR 2011»
12 years 10 months ago
Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory
d Abstract) Alexander Langer, Peter Rossmanith, and Somnath Sikdar RWTH Aachen University, 52074 Aachen, Germany. We present an alternative proof of a theorem by Courcelle, Makowsk...
Alexander Langer, Peter Rossmanith, Somnath Sikdar
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
13 years 2 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King
CHI
2009
ACM
14 years 4 months ago
Towards systematic usability verification
Although usability is the core aspect of the whole HCI research field, it still waits for its economic breakthrough. There are some corporations that are famous for their usable p...
Jan Borchers, Jonathan Diehl, Markus Jordans, Max ...