Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICST
2009
IEEE
11 years 7 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...
INFSOF
2007
104views more  INFSOF 2007»
11 years 9 months ago
A state-based approach to integration testing based on UML models
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur ...
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
11 years 11 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder
DAC
1997
ACM
12 years 2 months ago
Toward Formalizing a Validation Methodology Using Simulation Coverage
The biggest obstacle in the formal veriļ¬cation of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
Aarti Gupta, Sharad Malik, Pranav Ashar
APAQS
2000
IEEE
12 years 2 months ago
Object-Based Data Flow Testing of Web Applications
Recently, the extraordinarygrowth in the World Wide Web has been sweeping through business and industry. Many companies have developed or integrated their mission-critical applica...
Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-...
PCM
2004
Springer
146views Multimedia» more  PCM 2004»
12 years 3 months ago
Optimum End-to-End Distortion Estimation for Error Resilient Video Coding
End-to-end distortion estimation plays an important role in error-resilient video coding. The intuitive method is to simulate the decoding process many times at the encoder, as use...
Yuan Zhang, Qingming Huang, Yan Lu, Wen Gao
books