2419 search results - page 128 / 484 » A Formal Approach to Software Testing |
177
Voted
DMS
2008
15 years 4 months ago
2008
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
123
click to vote
AC
2006
Springer
15 years 3 months ago
2006
Springer
In this chapter, we characterize problems for web applications, examine existing testing techniques that are potentially applicable to the web environment, and introduce a strateg...
150
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
108
click to vote
ENTCS
2008
15 years 3 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
147
Voted
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...