209 search results - page 5 / 42 » Static Checking of Interrupt-Driven Software |
109
click to vote
ICST
2009
IEEE
14 years 8 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
AOSD
2003
ACM
15 years 4 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
107
click to vote
DAGSTUHL
2001
15 years 10 days ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
100
click to vote
TASE
2007
IEEE
15 years 5 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...