926 search results - page 23 / 186 » Tool Support for Statistical Testing of Software Components |
ICALT
2010
IEEE
13 years 9 months ago
2010
IEEE
In this study I use statistical Natural Language Processing and adapted Controlled Language methods to preprocess individual documents before they are used as source documents for ...
SPLST
2003
13 years 9 months ago
2003
A software product line can be used to implement a software product family that is a set of software products sharing common features. A natural implementation strategy for a softw...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
14 years 2 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...