Finding bugs in software with a constraint solver

Finding bugs in software with a constraint solver

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.

Bibliographic Details
Main Author:	Vaziri-Farahani, Mandana
Other Authors:	Daniel N. Jackson.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2006
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/30090

Similar Items

A constraint solver for software engineering : finding models and cores of large relational specifications
by: Torlak, Emina, 1979-
Published: (2009)

Proving correctness of a controller algorithm for the RAID Level 5 system
by: Vaziri-Farahani, Mandana
Published: (2005)

Effective software testing with a string-constraint solver
by: Kieżun, Adam
Published: (2010)

A highly configurable software bug tracking system
by: Tait, Calista (Calista Elizabeth), 1975-
Published: (2013)

Fast bug finding in lock-free data structures with CB-DPOR
by: Van den Hooff, Jelle (Jelle August)
Published: (2014)

Finding security bugs in web applications using domain-specific static analysis
by: Near, Joseph P. (Joseph Paul)
Published: (2015)

Finding bugs inside IoT devices via static analysis
by: Lim, Gerald Ze Yang
Published: (2022)

Finding Bugs In Dynamic Web Applications
by: Artzi, Shay, et al.
Published: (2008)

Finding the optimal demodulator under implementation constraints
by: Yu, Qian Yu, M. Eng. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Published: (2017)

HAMPI: A Solver for String Constraints
by: Ernst, Michael D., et al.
Published: (2009)

Dependency-Directed Localization of Software Bugs
by: Kuper, Ron I.
Published: (2004)

Sniffer : a system that understands bugs
by: Shapiro, Daniel G.
Published: (2024)

Dynamically fighting bugs : prevention, detection and elimination
by: Artzi, Shay
Published: (2010)

Organon: A Symbolic Constraint Framework & Solver
by: Evans, Isaac, et al.
Published: (2013)

Building a puzzle games solver using SAT solver
by: Nguyen Hung, Thai
Published: (2017)

A new approach to parallel SAT solvers
by: Nelson, Max (Max M.)
Published: (2014)

PSolver : a distributed SAT solver framework
by: Kokotov, Daniel (Daniel L.), 1978-
Published: (2014)

Alloy*: A Higher-Order Relational Constraint Solver
by: Milicevic, Aleksandar, et al.
Published: (2014)

A user-friendly interface for a poisson-solver
by: Johnson, Ted C. (Ted Christian)
Published: (2024)

A Tsume-Go life & death problem solver
by: Danieli, Adrian B. (Adrian Brian), 1975-
Published: (2010)

Finding Security Bugs in Web Applications using a Catalog of Access Control Patterns
by: Near, Joseph Paul, et al.
Published: (2016)

Using artificial intelligence to augment bug fuzzing
by: Tay, Zhixuan
Published: (2023)

Machine learning techniques for software bug prediction: a systematic review
by: Saharudin, Syahana Nur’Ain, et al.
Published: (2020)

Bugged by pests
by: Nair, Tharani
Published: (2023)

Field solver technologies for variation-aware interconnect parasitic extraction
by: El-Moselhy, Tarek Ali
Published: (2010)

Synthesis of domain specific CNF encoders for bit-vector solvers
by: Inala, Jeevana Priya
Published: (2016)

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver
by: Milicevic, Aleksandar, et al.
Published: (2018)

Alloy*: a general-purpose higher-order relational constraint solver
by: Milicevic, Aleksandar, et al.
Published: (2021)

Bug-Injecting System Helps to Advance the State-of-the-Art in Debugging Software
Published: (2021)

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking
by: Tip, Frank, et al.
Published: (2009)

A hierarchical Markov chain based solver for very-large-scale capacitance extraction
by: Zhao, Yan, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Evaluating Synthetic Bugs
by: Bundt, Joshua, et al.
Published: (2022)

Supporting finding and re-finding through personalization
by: Teevan, Jaime B. (Jaime Brooks), 1976-
Published: (2007)

A comparison of parallel Gaussian elimination solvers for the computation of electrochemical battery models on the cell processor
by: Geraci, James Russell, 1974-
Published: (2009)

Automated testing of web 2.0 applications to detect bugs
by: Ukhrawiah Suratman
Published: (2018)

Finding all hops shortest paths with quality-of-service constraints
by: Su, Myat Mon.
Published: (2012)

Integrating a Bayesian net solver with the KBCW Comlink System and a network intrusion diagnosis system
by: Tam, Erwin, 1976-
Published: (2013)

Logic for fun : solving puzzles with SAT solvers
by: Foo, Zhong Xian
Published: (2016)

Predicting priority level of bug reports
by: Ang, Zi Qun
Published: (2016)

Sniffer: A System that Understands Bugs
by: Shapiro, Daniel G.
Published: (2004)