Finding bugs with a constraint solver
Daniel Jackson, Mandana Vaziri · 2000
Article Free Access Share on Finding bugs with a constraint solver Authors: Daniel Jackson MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, Massachusetts MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MassachusettsView Profile , Mandana Vaziri MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, Massachusetts MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MassachusettsView Profile Authors Info & Claims ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysisAugust 2000 Pages 14–25https://doi.org/10.1145/347324.383378Online:01 August 2000Publication History 141citation1,074DownloadsMetricsTotal Citations141Total Downloads1,074Last 12 Months48Last 6 weeks6 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF