Sciweavers

1554 search results - page 32 / 311
» Testing Polymorphic Behavior
Sort
View
127
Voted
GECCO
2006
Springer
141views Optimization» more  GECCO 2006»
15 years 4 months ago
Towards effective adaptive random testing for higher-dimensional input domains
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
Johannes Mayer
104
Voted
ICSE
2004
IEEE-ACM
16 years 16 days ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
ATAL
2006
Springer
15 years 4 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
ICST
2009
IEEE
15 years 7 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
103
Voted
NN
2000
Springer
148views Neural Networks» more  NN 2000»
15 years 6 days ago
Anxiety-like behavior in rats: a computational model
This work describes a neural network model of the rat exploratory behavior in the elevated plus-maze, a test used to study anxiety. It involves three parameters: drive to explore;...
Cristiane Salum, Silvio Morato, Antônio C. R...