Sciweavers

2576 search results - page 102 / 516
» A case study in test management
Sort
View
ICST
2009
IEEE
16 years 22 days ago
Quality Assurance of Software Applications Using the In Vivo Testing Approach
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu
IJCIS
2006
161views more  IJCIS 2006»
15 years 6 months ago
Poseidon: a Framework to Assist Web Process Design Based on Business Cases
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
Jorge Cardoso
160
Voted
INFOCOM
2003
IEEE
15 years 11 months ago
An Analytical Study of a Tradeoff Between Transmission Power and FEC for TCP Optimization in Wireless Networks
- It is well known that TCP has performance problems when wireless links are involved in the end-to-end connection. This is due to the high bit error rate characterizing wireless l...
Laura Galluccio, Giacomo Morabito, Sergio Palazzo
KBSE
2007
IEEE
16 years 11 days ago
Extraction of bug localization benchmarks from history
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
Valentin Dallmeier, Thomas Zimmermann
189
Voted
PTS
2000
58views Hardware» more  PTS 2000»
15 years 7 months ago
Formal Test Automation: The Conference Protocol with PHACT
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
Lex Heerink, Jan Feenstra, Jan Tretmans