Sciweavers

79
Voted
FORTE
2004
14 years 10 months ago
Generation of Integration Tests for Self-Testing Components
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
Leonardo Mariani, Mauro Pezzè, David Willmo...
DAC
2004
ACM
15 years 16 days ago
Probabilistic regression suites for functional verification
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
Shai Fine, Shmuel Ur, Avi Ziv