KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
The installation of software packages depends on the correct resolution of dependencies and conflicts between packages. This problem is NP-complete and, as expected, is a hard ta...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
User-input validators play an essential role in guarding a web application against application-level attacks. Hence, the security of the web application can be compromised by defe...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
