Sciweavers

2340 search results - page 297 / 468
» Second quarter 2008
Sort
View
ICST
2008
IEEE
16 years 29 days ago
On the Predictability of Random Tests for Object-Oriented Software
Intuition suggests that random testing of object-oriented programs should exhibit a high difference in the number of defects detected by two different runs over the same amount of...
Ilinca Ciupa, Alexander Pretschner, Andreas Leitne...
ICST
2008
IEEE
16 years 29 days ago
An Evaluation of Two Bug Pattern Tools for Java
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
Stefan Wagner, Florian Deissenboeck, Michael Aichn...
ICTAI
2008
IEEE
16 years 29 days ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
IEEEIAS
2008
IEEE
16 years 29 days ago
LoSS Detection Approach Based on ESOSS and ASOSS Models
This paper investigates Loss of Self-similarity (LoSS) detection performance using Exact and Asymptotic Second Order Self-Similarity (ESOSS and ASOSS) models. Previous works on Lo...
Mohd Fo'ad Rohani, Mohd Aizaini Maarof, Ali Selama...
IEEEIAS
2008
IEEE
16 years 29 days ago
Information Assurance in Critical Infrastructures via Wireless Sensor Networks
Information assurance in critical infrastructure is an issue that has been addressed generally focusing on real-time or quasi real-time monitoring of the critical infrastructure; ...
Michele Albano, Stefano Chessa, Roberto Di Pietro