Search Sciweavers | Sciweavers

38

IICAI
2007

325views Artificial Intelligence» more IICAI 2007»

Automated Test Generation from Models Based on Functional Software Specifications

13 years 11 months ago

The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...

Michael Esser, Peter Struss

claim paper

Read More »

46

click to vote

MSR
2005
ACM

133views Software Engineering» more MSR 2005»

Software repository mining with Marmoset: an automated programming project snapshot and testing system

14 years 3 months ago

Download msr.uwaterloo.ca

Most computer science educators hold strong opinions about the “right” approach to teaching introductory level programming. Unfortunately, we have comparatively little hard ev...

Jaime Spacco, Jaymie Strecker, David Hovemeyer, Wi...

claim paper

Read More »

41

click to vote

CSE
2009
IEEE

164views Theoretical Computer Science» more CSE 2009»

Architectural Support for Automated Software Attack Detection, Recovery, and Prevention

14 years 4 months ago

Download www.ece.iastate.edu

—Attacks on software systems are an increasingly serious problem from an economic and security standpoint. Many techniques have been proposed ranging from simple compiler modiﬁ...

Jesse Sathre, Alex Baumgarten, Joseph Zambreno

claim paper

Read More »

25

click to vote

SELMAS
2004
Springer

136views Intelligent Agents» more SELMAS 2004»

A Software Framework for Automated Negotiation

14 years 3 months ago

Download www.hpl.hp.com

If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...

Claudio Bartolini, Chris Preist, Nicholas R. Jenni...

claim paper

Read More »

24

click to vote

ECBS
2009
IEEE

109views Hardware» more ECBS 2009»

Automating Hardware and Software Evolution Analysis

14 years 4 months ago