Sciweavers

1660 search results - page 19 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
ICSE
2004
IEEE-ACM
15 years 9 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
SMC
2010
IEEE
242views Control Systems» more  SMC 2010»
14 years 8 months ago
Analysis of shopping behavior based on surveillance system
—Closed Circuit Television systems in shopping malls could be used to monitor the shopping behavior of people. From the tracked path, features can be extracted such as the relati...
Mirela Popa, Léon J. M. Rothkrantz, Zhenke ...
EUROSYS
2010
ACM
15 years 6 months ago
The Next 700 BFT Protocols
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
Rachid Guerraoui, Nikola Knezevic, Vivien Quéma, ...
DMS
2008
167views Multimedia» more  DMS 2008»
14 years 11 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
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...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far