Sciweavers

5439 search results - page 184 / 1088
» Patterns: from system design to software testing
Sort
View
123
Voted
ERLANG
2008
ACM
15 years 5 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
129
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
Haemo Dialysis Software Architecture Design Experiences
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners. The goal of the project was to reengineer an...
PerOlof Bengtsson, Jan Bosch
146
Voted
AI
1998
Springer
15 years 8 months ago
Test-Driving TANKA: Evaluating a Semi-automatic System of Text Analysis for Knowledge Acquisition
The evaluation of a large implemented natural language processing system involves more than its application to a common performance task. Such tasks have been used in the message u...
Ken Barker, Sylvain Delisle, Stan Szpakowicz
176
Voted
PLDI
2005
ACM
15 years 9 months ago
Scalable statistical bug isolation
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander ...
143
Voted
WWW
2004
ACM
16 years 4 months ago
Web engineering with the visual software circuit board
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
Hovhannes Avoyan, Barry Levine