Sciweavers

123 search results - page 9 / 25
» Industrial Requirements to Benefit from Test Automation Tool...
Sort
View
ASE
2004
148views more  ASE 2004»
13 years 7 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
Sarfraz Khurshid, Darko Marinov
ICSE
2009
IEEE-ACM
14 years 2 months ago
Automated testing of healthcare document transformations in the PICASSO interoperability platform
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
Massimo Pascale, Marcello Roselli, Umberto Rugani,...
SCESM
2006
ACM
257views Algorithms» more  SCESM 2006»
14 years 1 months ago
Test ready UML statechart models
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh S...
CORR
2011
Springer
189views Education» more  CORR 2011»
13 years 2 months ago
A Factorial Experiment on Scalability of Search Based Software Testing
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
Arash Mehrmand, Robert Feldt
ETFA
2006
IEEE
14 years 1 months ago
Performance of an Application Layer Protocol for Wireless Industrial Communications
Current wireless technologies offer a viable solution for implementing communication systems capable of satisfying the severe timing requirements often required for operations at ...
Iacopo Carreras, Daniele Miorandi, Stefano Vitturi