Sciweavers

2132 search results - page 30 / 427
» Automated software winnowing
Sort
View
BELL
2000
41views more  BELL 2000»
14 years 10 months ago
Automated software development with XML and the Java* language
Glenn Bruns, Alan E. Frey, Peter Mataga, Susan J. ...
79
Voted
TSE
2002
125views more  TSE 2002»
14 years 10 months ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
IUI
2012
ACM
13 years 6 months ago
Towards automatic functional test execution
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
Pablo Pedemonte, Jalal Mahmud, Tessa Lau
89
Voted
EMSOFT
2010
Springer
14 years 8 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...