Sciweavers

1414 search results - page 92 / 283
» Automated Metamorphic Testing
Sort
View
AOSE
2008
Springer
15 years 4 months ago
Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
Cu D. Nguyen, Anna Perini, Paolo Tonella
DSRT
2008
IEEE
15 years 4 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
CORR
2010
Springer
171views Education» more  CORR 2010»
15 years 2 months ago
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
Lilly Raamesh, G. V. Uma
95
Voted
DAC
2001
ACM
16 years 3 months ago
Testing for Interconnect Crosstalk Defects Using On-Chip Embedded Processor Cores
Crosstalk effects degrade the integrity of signals traveling on long interconnects and must be addressed during manufacturing testing. External testing for crosstalk is expensive ...
Li Chen, Xiaoliang Bai, Sujit Dey
ICCD
2006
IEEE
116views Hardware» more  ICCD 2006»
15 years 11 months ago
RTL Scan Design for Skewed-Load At-speed Test under Power Constraints
This paper discusses an automated method to build scan chains at the register-transfer level (RTL) for powerconstrained at-speed testing. By analyzing a circuit at the RTL, where ...
Ho Fai Ko, Nicola Nicolici