Sciweavers

12745 search results - page 349 / 2549
» Automating test automation
Sort
View
ESOP
2010
Springer
16 years 4 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
FMCAD
2009
Springer
16 years 1 months ago
Scalable conditional equivalence checking: An automated invariant-generation based approach
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
Jason Baumgartner, Hari Mony, Michael L. Case, Jun...
SEKE
2009
Springer
16 years 1 months ago
Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser
UIST
2009
ACM
16 years 1 months ago
Sikuli: using GUI screenshots for search and automation
We present Sikuli, a visual approach to search and automation of graphical user interfaces using screenshots. Sikuli allows users to take a screenshot of a GUI element (such as a ...
Tom Yeh, Tsung-Hsiang Chang, Robert C. Miller
162
Voted
WISE
2008
Springer
16 years 1 months ago
A Web-Based Automated System for Industry and Occupation Coding
This paper describes Automated Industry and Occupation Coding System (AIOCS). The main function of the system is to classify natural language responses to survey questionnaires int...
Yuchul Jung, Jihee Yoo, Sung-Hyon Myaeng, Dong-Che...