类 型
52 篇文献
 
for Program Modelling, Design and Verification Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge  
This position paper presents our understanding of the Grand Challenge and proposes an agenda on how we will position our research to contribute to this world-wide collaborative research project.......
0次引用 0 0
Model-Based Security Vulnerability Testing  
In this work we present a model-based framework for security vulnerabilities testing. Security vulnerabilities are not only related to security functionalities at the application level but are sensiti......
Australian Software Engineering Conference  2007
5次引用 0 0
GUI 測詴方法  
Page 1. 資訊工程系碩士班 碩士學位論文 一個以表格呈現與編輯測詴腳本之 GUI 測詴方法 Presenting and Editing Test Scripts in Tabular Formats for GUI Testing 研究生:李華興 指導教授:陳偉凱 中華民國100 年7 月 Page 2. i 摘要 ... ......
0次引用 0 0
Mutation testing in UTP  
This paper presents a theory of testing that integrates into Hoare and He's Unifying Theory of Programming (UTP). We give test cases a denotational semantics by viewing them as specication predicates.......
Formal Aspects of Computing  2009
5次引用 0 0
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 …  
This tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. The 8 ......
0次引用 0 0
The use of model constraints as imprecise software test oracles  
Abstract. Many software test generation techniques target on generating software test data. Only a few of them provide automatic way to verify if software behaves correctly using generated test data. ......
0次引用 0 0
Test generation and animation based on object-oriented specifications.  
Abstract The goal of this thesis is the development of support for test generation and animation based on object-oriented specifications. We aim particularly to take advantage of state-of-the-art sati......
0次引用 0 0
Integrating Theories and Techniques for Program Modelling, Design and Verification  
Abstract. This position paper presents our understanding of the Grand Challenge and proposes an agenda on how we will position our research to contribute to this world-wide collaborative research proj......
Verified Software: Theories, Tools, Experiments  2005
0次引用 0 0
The Science of Killing Bugs in a Black Box  
In this talk I will discuss the combination of model-based testing and mutation testing. Model-based testing is a black-box testing technique that avoids the labour of manually writing hundreds of tes......
0次引用 0 0
A subset of precise UML for model-based testing  
This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to ......
Advances in Model-Based Software Testing  2007
9次引用 0 0

1/6 第一页 上一页 1 2 3 4 5 6 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜