Sciweavers

5228 search results - page 235 / 1046
» Case Studies for Software Engineers
Sort
View
KBSE
2007
IEEE
16 years 12 days ago
Covering array sampling of input event sequences for automated gui testing
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
Xun Yuan, Myra B. Cohen, Atif M. Memon
EMSOFT
2008
Springer
15 years 8 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
HICSS
2007
IEEE
181views Biometrics» more  HICSS 2007»
16 years 13 days ago
A Methodology to Evaluate Agent Oriented Software Engineering Techniques
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
Chia-En Lin, Krishna M. Kavi, Frederick T. Sheldon...
ICST
2009
IEEE
15 years 3 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
200
Voted
SPE
2010
167views more  SPE 2010»
15 years 4 months ago
Comparing practices for reuse in integration-oriented software product lines and large open source software projects
Abstract. This paper compares organization and practices for software reuse in integrationoriented software product lines and open source software projects. The main observation is...
Jilles van Gurp, Christian Prehofer, Jan Bosch