KBSE 2010 - PDF Preprint Papers

KBSE 2010 Knowledge-Based Software Engineering Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed KBSE-2010 Paper

click to vote

KBSE
2010
IEEE

226views Software Engineering» more KBSE 2010»

Automated program repair through the evolution of assembly code

13 years 11 months ago

Download www.cs.virginia.edu

A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...

Eric Schulte, Stephanie Forrest, Westley Weimer

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	226	Automated program repair through the evolution of assembly code	claim
2	216	Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components	claim
3	190	Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines	claim
4	179	Analyzing security architectures	claim
5	178	An automated approach for finding variable-constant pairing bugs	claim
6	178	VikiBuilder: end-user specification and generation of visual wikis	claim
7	171	Reducing estimation uncertainty with continuous assessment: tracking the "cone of uncertainty"	claim
8	170	Verification-driven slicing of UML/OCL models	claim
9	169	Tag and prune: a pragmatic approach to software product line implementation	claim
10	167	Solving string constraints lazily	claim
11	166	Reconfigurable run-time support for distributed service component architectures	claim
12	164	MODA: automated test generation for database applications via mock objects	claim
13	164	A bounded statistical approach for model checking of unbounded until properties	claim
14	158	Apt-pbo: solving the software dependency problem using pseudo-boolean optimization	claim
15	158	An experience report on scaling tools for mining software repositories using MapReduce	claim
16	156	RESISTing reliability degradation through proactive reconfiguration	claim
17	155	How did you specify your test suite	claim
18	155	Model comparison with GenericDiff	claim
19	153	Automatically documenting program changes	claim
20	153	Test generation to expose changes in evolving programs	claim
21	152	Kadre: domain-specific architectural recovery for scientific software systems	claim
22	150	Eliminating products to test in a software product line	claim
23	148	Variability modeling in the real: a perspective from the operating systems domain	claim
24	146	MiTV: multiple-implementation testing of user-input validators for web applications	claim
25	145	Automated model grouping	claim
26	135	Tool support for quality-driven development of software architectures	claim
27	131	A program differencing algorithm for verilog HDL	claim
28	129	Security-driven model-based dynamic adaptation	claim
29	127	A visual interactive debugger based on symbolic execution	claim
30	127	PLASMA: a plan-based layered architecture for software model-driven adaptation	claim
31	122	SpecDiff: debugging formal specifications	claim
32	121	Realizing architecture frameworks through megamodelling techniques	claim
33	118	A sentence-matching method for automatic license identification of source code files	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers