Sciweavers

259 search results - page 19 / 52
» A Goal-Oriented Software Testing Methodology
Sort
View
ISSTA
2010
ACM
15 years 9 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
15 years 3 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
16 years 1 days 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...
193
Voted
FMICS
2009
Springer
16 years 13 days 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 7 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