Sciweavers

259 search results - page 19 / 52
» A Goal-Oriented Software Testing Methodology
Sort
View
ISSTA
2010
ACM
15 years 5 months ago
N-version disassembly: differential testing of x86 disassemblers
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fre...
ICCHP
2010
Springer
14 years 11 months ago
An Open Source / Freeware Assistive Technology Software Inventory
Assistive Technology (AT) software market is expensive, and related products are hard to find, especially for non-English speaking users. Open Source and free AT software partially...
Alexandros Pino, Georgios Kouroupetroglou, Hernisa...
AOSE
2007
Springer
15 years 7 months ago
Tool-Supported Development with Tropos: The Conference Management System Case Study
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alber...
FMICS
2009
Springer
15 years 8 months ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan
ANLP
2000
85views more  ANLP 2000»
15 years 2 months ago
Improving Testsuites via Instrumentation
This paper explores the usefulness of a technique from software engineering, namely code instrumentation, for the development of large-scale natural language grammars. Information...
Norbert Bröker