270 search results - page 35 / 54 » Automated test generation for industrial Erlang applications |
103
click to vote
AAAI
2000
15 years 1 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
ICECCS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
122
click to vote
CAISE
2007
Springer
15 years 6 months ago
2007
Springer
Radio frequency identification (RFID), and more recently the development of Near Field Communication (NFC) technology, have popularized the idea of linking real-world products wit...
CSMR
2006
IEEE
15 years 5 months ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...