Sciweavers

1660 search results - page 19 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
144
Voted
ICSE
2004
IEEE-ACM
16 years 3 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
160
Voted
SMC
2010
IEEE
242views Control Systems» more  SMC 2010»
15 years 2 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 ...
113
Voted
EUROSYS
2010
ACM
16 years 24 days 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, ...
178
Voted
DMS
2008
167views Multimedia» more  DMS 2008»
15 years 5 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