Sciweavers

1016 search results - page 70 / 204
» Automatic Analysis of Programming Assignments
Sort
View
109
Voted
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
15 years 8 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
USS
2008
15 years 5 months ago
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
Michael C. Martin, Monica S. Lam
KBSE
2005
IEEE
15 years 8 months ago
Empirical evaluation of the tarantula automatic fault-localization technique
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
James A. Jones, Mary Jean Harrold
GECCO
2007
Springer
156views Optimization» more  GECCO 2007»
15 years 8 months ago
A phenotypic analysis of GP-evolved team behaviours
This paper presents an approach to analyse the behaviours of teams of autonomous agents who work together to achieve a common goal. The agents in a team are evolved together using...
Darren Doherty, Colm O'Riordan
120
Voted
PPPJ
2003
ACM
15 years 7 months ago
Mass production of individual feedback
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
David Heaney, Charlie Daly