KBSE
2010
IEEE
13 years 11 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 11 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 11 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 11 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 11 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 11 months ago
2010
IEEE
KBSE
2010
IEEE
13 years 11 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 11 months ago
2010
IEEE
KBSE
2010
IEEE
13 years 11 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 11 months ago
2010
IEEE
