Search results for "software verification and testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz (eds.)	Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
1	Kedar S. Namjoshi, Andreas Zeller, Avi Ziv (eds.)	Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
1	Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith	An Introduction to Test Specification in FQL.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Robert Könighofer, Georg Hofferek, Roderick Bloem	Debugging Unrealizable Specifications with Model-Based Diagnosis.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Hana Chockler, Arie Gurfinkel, Ofer Strichman	Variants of LTL Query Checking.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Uri Klein, Amir Pnueli	Revisiting Synthesis of GR(1) Specifications.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Joseph Gil	Reflections on Spartan Programming and the No-Debugger Principle.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Michael Katelman, José Meseguer	vlogsl: A Strategy Language for Simulation-Based Verification of Hardware.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Valeria Bertacco	Verification Failures: What to Do When Things Go Wrong.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Simone Rollini, Roberto Bruttomesso, Natasha Sharygina	An Efficient and Flexible Approach to Resolution Proof Reduction.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Eugene Goldberg, Panagiotis Manolios	SAT-Solving Based on Boundary Point Elimination.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	João Lourenço	Understanding Transactional Memory (Extended Abstract).	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Charalambos Ioannides, Geoff Barrett, Kerstin Eder	Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Yoav Hollander, Alan Hu, João Lourenço, Ronny Morad	Special Session on Debugging.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir	Advances in Simultaneous Multithreading Testcase Generation Methods.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Ariel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova	Parallelizing a Symbolic Compositional Model-Checking Algorithm.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Clark Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli	The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk).	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann	Reaching Coverage Closure in Post-silicon Validation.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Shmuel Ur	Testing Concurrent Software.	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
1	Abdelaziz Fellah	Time and alternation: an automata based framework to software model checking.	SAC	2010	DBLP DOI BibTeX RDF	software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking
1	Hana Chockler, Alan J. Hu (eds.)	Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Xin Li, Mizuhito Ogawa	Stacking-Based Context-Sensitive Points-to Analysis for Java.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Anna Moss, Boris Gutkovich	Functional Test Generation with Distribution Constraints.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Gal Katz, Doron Peled	Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Yoram Adler, Shmuel Ur, Dale Blue	Evaluating Workloads Using Multi-comparative Functional Coverage.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Mark Harman	The SBSE Approach to Automated Optimization of Verification and Testing.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Koushik Sen	DART: Directed Automated Random Testing.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Jeroen Keiren, Tim A. C. Willemse	Bisimulation Minimisations for Boolean Equation Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Dana Fisman, Orna Kupferman	Reasoning about Finite-State Switched Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy	Reduction of Interrupt Handler Executions for Model Checking Embedded Software.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Daniel Kroening, Georg Weissenbacher	An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Harry Foster	Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	David Harel	Can We Verify an Elephant?	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Yevgenia Alperin-Tsimerman, Shmuel Katz	Dataflow Analysis for Properties of Aspect Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Christophe Morvan, Sophie Pinchinat	Diagnosability of Pushdown Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Aaron Rich, Giora Alexandron, Reuven Naveh	An Explanation-Based Constraint Debugger.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
1	Karen Yorav (eds.)	Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings	Haifa Verification Conference	2008	DBLP BibTeX RDF
1	Edmund M. Clarke, Alexandre Donzé, Axel Legay	Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Thomas J. Ostrand, Elaine J. Weyuker	Progress in Automated Software Defect Prediction.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF	negative binomial model, automated tool, software fault prediction
1	Moshe Y. Vardi	Automata-Theoretic Model Checking Revisited.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Dorit Baras, Laurent Fournier, Avi Ziv	Automatic Boosting of Cross-Product Coverage Using Bayesian Networks.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman	Linear-Time Reductions of Resolution Proofs.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Cyrille Artho	Iterative Delta Debugging.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Brian Bailey	Can Mutation Analysis Help Fix Our Broken Coverage Metrics?.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Moran Shochat, Orna Raz, Eitan Farchi	SeeCode - A Code Review Plug-in for Eclipse.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Cindy Eisner, Dana Fisman	Structural Contradictions.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum	Significant Diagnostic Counterexamples in Probabilistic Model Checking.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Daniel Jackson	Hazards of Verification.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Kerstin Bauer, Raffaella Gentilini, Klaus Schneider	A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Neha Rungta, Eric G. Mercer	A Meta Heuristic for Effectively Detecting Concurrency Errors.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur	Evaluating Workloads Using Comparative Functional Coverage.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Carl Pixley	Practical Considerations Concerning HL-to -RT Equivalence Checking.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Malay K. Ganai, Weihong Li	d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Yoav Hollander	Is Verification Getting Too Complex?	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Ziv Nevo	User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Malay K. Ganai	Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT().	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Kenneth L. McMillan	Proofs, Interpolants, and Relevance Heuristics.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen	Synthesizing Test Models from Test Cases.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi	A Framework for Inherent Vacuity.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Eyal Bin, Avi Ziv, Shmuel Ur (eds.)	Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers	Haifa Verification Conference	2007	DBLP BibTeX RDF
1	Robert P. Kurshan	Scaling Commercial Verification to Larger Systems.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Ales Smrcka, Tomás Vojnar	Verifying Parametrised Hardware Designs Via Counter Automata.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Aarti Gupta	From Hardware Verification to Software Verification: Re-use and Re-learn.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta	Reactivity in SystemC Transaction-Level Models.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Mark A. Hillebrand, Wolfgang J. Paul	On the Architecture of System Verification Environments.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Dana Fisman	On the Characterization of Until as a Fixed Point Under Clocked Semantics.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai	GenUTest: A Unit Test and Mock Aspect Generation Tool.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Andreas Zeller	Where Do Bugs Come from?	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck	Test Case Generation for Ultimately Periodic Paths.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Domagoj Babic, Alan J. Hu	Exploiting Shared Structure in Software Verification Conditions.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Anna Moss	Constraint Patterns and Search Procedures for CP-Based Random Test Generation.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev	How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Laurent Fournier, Avi Ziv	Using Virtual Coverage to Hit Hard-To-Reach Events.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov	The Advantages of Post-Link Code Coverage.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Thomas Noll, Bastian Schlich	Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Harald Raffelt, Bernhard Steffen, Tiziana Margaria	Dynamic Testing Via Automata Learning.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai	Locating Regression Bugs.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Gérard Basler, Daniel Kroening, Georg Weissenbacher	A Complete Bounded Model Checking Algorithm for Pushdown Systems.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Alan J. Hu	Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Manar H. Alalfi, James R. Cordy, Thomas R. Dean	A Survey of Analysis Models and Methods in Website Verification and Testing.	ICWE	2007	DBLP DOI BibTeX RDF
1	Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)	Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers	Haifa Verification Conference	2006	DBLP BibTeX RDF
1	Mika Katara, Antti Kervinen	Making Model-Based Testing More Agile: A Use Case Driven Approach.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Alan Hartman, Mika Katara, Sergey Olvovsky	Choosing a Test Modeling Language: A Survey.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Gul Agha	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler	Automatic Fault Localization for Property Checking.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Thomas Tuerk, Klaus Schneider, Mike Gordon	Model Checking PSL Using HOL and SMV.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Shmuel Ur, Elad Yom-Tov, Paul Wernick	An Open Source Simulation Model of Software Development and Testing.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	Simulation, Performance, Design, Algorithms, Reliability, Verification, Measurement, Software Development, Management, Theory, Experimentation, Economics, Iterative design
1	Onur Guzey, Charles H.-P. Wen, Li-C. Wang, Tao Feng, Hillel Miller, Magdy S. Abadir	Extracting a Simplified View of Design Functionality Based on Vector Simulation.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jörges, Christian Kubczak	Model-Driven Development with the jABC.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Yaniv Eytani, Timo Latvala	Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	Concurrent debugging, scheduling noise, Java, testing
1	Tobias Schüle, Klaus Schneider	Verification of Data Paths Using Unbounded Integers: Automata Strike Back.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Shmuel Ur	A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Stella Levin, Amiram Yehudai	Evolutionary Testing: A Case Study.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	genetic algorithms, Software testing, automatic test generation
1	Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz	ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia	Detecting Design Flaws in UML State Charts for Embedded Software.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Amir Nahir, Yossi Shiloach, Avi Ziv	Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Itai Yarom, Viji Patil	Smart-Lint: Improving the Verification Flow.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Michael Jackson	Testing the Machine in the World.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
1	Steve MacDonald, Jun Chen, Diego Novillo	Choosing Among Alternative Futures.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF