Runtime exception detection in Java programs using symbolic execution
Most of the runtime failures of a software system can be revealed during test execution only, which has a very high cost. In Java programs, runtime failures are manifested as unhandled runtime exceptions. In this paper we present an approach and tool for detecting runtime exceptions in Java programs...
Elmentve itt :
| Szerzők: |
Kádár István Hegedűs Péter Ferenc Rudolf |
|---|---|
| Testületi szerző: | Symposium on Programming Languages and Software Tools (2013) (Szeged) |
| Dokumentumtípus: | Cikk |
| Megjelent: |
2014
|
| Sorozat: | Acta cybernetica
21 No. 3 |
| Kulcsszavak: | Számítástechnika |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.21.3.2014.4 |
| Online Access: | http://acta.bibl.u-szeged.hu/34472 |
Hasonló tételek
-
Runtime Exception Detection in Java Programs Using Symbolic Execution
Szerző: Kádár István, et al.
Megjelent: (2014) -
Runtime Exception detection in Java programs using symbolic execution
Szerző: Kádár István, et al.
Megjelent: (2013) -
The optimization of a symbolic execution engine for detecting runtime errors
Szerző: Kádár István
Megjelent: (2017) -
The optimization of a symbolic execution engine for detecting runtime errors
Szerző: Kádár István
Megjelent: (2016) -
Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors
Szerző: Kádár István, et al.
Megjelent: (2015)