Sciweavers

588 search results - page 27 / 118
» Using UML Environment Models for Test Case Generation
Sort
View
EDOC
2002
IEEE
15 years 5 months ago
Business Modelling for Component Systems with UML
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...
Sandy Tyndale-Biscoe, Oliver Sims, Bryan Wood, Chr...
76
Voted
IEAAIE
2005
Springer
15 years 6 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
94
Voted
CAV
2010
Springer
179views Hardware» more  CAV 2010»
15 years 4 months ago
Generating Litmus Tests for Contrasting Memory Consistency Models
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
93
Voted
WSCG
2003
193views more  WSCG 2003»
15 years 1 months ago
Automatically Generating Roof Models from Building Footprints
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
R. G. Laycock, A. M. Day
ICSE
2009
IEEE-ACM
14 years 10 months ago
Security Test Generation Using Threat Trees
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamar...