Add to ORKGThesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.Includes bibliographical references (p. 95-96).by David Evans.M.S
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering, 1954.Includes...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
AbstractStatic source code analysis for software bug detection has come a long way since its early b...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written ...
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and...
This thesis presents the results of an evaluation of source code analyzers. Such tools constitute an...
The majority of artifacts created during software development are representations of programs in tex...
Fully automatic source code analysis tools based on ab-stract interpretation have become an integral...
Lightweight specifications support software maintainability by providing a way to verify that any c...
With science fiction of yore being reality recently with self-driving cars, wearable computers and a...
This dissertation deals with the automatic generation of sound specifications from a given program i...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
The advancements in machine learning techniques have encouraged researchers to apply these technique...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering, 1954.Includes...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
AbstractStatic source code analysis for software bug detection has come a long way since its early b...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written ...
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and...
This thesis presents the results of an evaluation of source code analyzers. Such tools constitute an...
The majority of artifacts created during software development are representations of programs in tex...
Fully automatic source code analysis tools based on ab-stract interpretation have become an integral...
Lightweight specifications support software maintainability by providing a way to verify that any c...
With science fiction of yore being reality recently with self-driving cars, wearable computers and a...
This dissertation deals with the automatic generation of sound specifications from a given program i...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
The advancements in machine learning techniques have encouraged researchers to apply these technique...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering, 1954.Includes...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
AbstractStatic source code analysis for software bug detection has come a long way since its early b...