Information Trust Institute
University of Illinois at Urbana-Champaign
Main Navigation
Home
//
News
//
Press Releases
// Software Tools Detect Bugs by Inferring Programmer's Intentions
Primary links
News
ITI Newsletters
ITI in the News
Press Releases
Find an Expert
Research
Projects
Research Areas
Make a Gift
About Us
Facilities
Visit Us
Contact Us
Education
Degree Programs
Internships
Short Courses
Course Roadmaps
Other Resources
ICSSP Scholarships
Campus Connections
Departmental Participation
Other Related Campus Units
Work with Us
Corporate Partnerships
Employment Opportunities
Student Opportunities
Seminars and Events
Upcoming Events
ITI Trust and Security Seminar
ITI Distinguished Lecture Series
Special Seminars and Events
Related Conferences
Centers in ITI
Boeing Trusted Software Center
CAESAR
Center for Information Forensics
NCASSR
NSA IA Center
TCIP
Trusted ILLIAC
People
Administration
Researchers
Secondary Navigation
ITI Newsletters
ITI in the News
Press Releases
Software Tools Detect Bugs by Inferring Programmer's Intentions
7/6/06 (from the University of Illinois at Urbana-Champaign News Bureau)
Read the article
Press Releases