Search results for "Verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	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
24	Stephen A. Edwards	Languages for Design and Verification.	Embedded Systems Design and Verification	2009	DBLP DOI BibTeX RDF
24	Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn	09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs.	Typing, Analysis and Verification of Heap-Manipulating Programs	2009	DBLP BibTeX RDF
24	Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn	09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs.	Typing, Analysis and Verification of Heap-Manipulating Programs	2009	DBLP BibTeX RDF
24	Aaron Rich, Giora Alexandron, Reuven Naveh	An Explanation-Based Constraint Debugger.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	David Harel	Can We Verify an Elephant?	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Anna Moss, Boris Gutkovich	Functional Test Generation with Distribution Constraints.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Bastian Schlich, Thomas Noll 0001, Jörg Brauer, Lucas Brutschy	Reduction of Interrupt Handler Executions for Model Checking Embedded Software.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Gal Katz, Doron A. Peled	Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Daniel Kroening, Georg Weissenbacher	An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Dana Fisman, Orna Kupferman	Reasoning about Finite-State Switched Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Christophe Morvan, Sophie Pinchinat	Diagnosability of Pushdown Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Koushik Sen	DART: Directed Automated Random Testing.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Yoram Adler, Shmuel Ur, Dale Blue	Evaluating Workloads Using Multi-comparative Functional Coverage.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Jeroen Keiren, Tim A. C. Willemse	Bisimulation Minimisations for Boolean Equation Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Xin Li 0010, Mizuhito Ogawa	Stacking-Based Context-Sensitive Points-to Analysis for Java.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	Yevgenia Alperin-Tsimerman, Shmuel Katz	Dataflow Analysis for Properties of Aspect Systems.	Haifa Verification Conference	2009	DBLP DOI BibTeX RDF
24	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 DOI BibTeX RDF
24	Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu	08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data.	Beyond the Finite: New Challenges in Verification and Semistructured Data	2008	DBLP BibTeX RDF
24	Stephen F. Siegel	Verification of MPI-based Computations.	Distributed Verification and Grid Computing	2008	DBLP BibTeX RDF
24	Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu	08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data.	Beyond the Finite: New Challenges in Verification and Semistructured Data	2008	DBLP BibTeX RDF
24	Jaco van de Pol	A Typical Verification Challenge for the GRID.	Distributed Verification and Grid Computing	2008	DBLP BibTeX RDF
24	Henri E. Bal, Lubos Brim, Martin Leucker	08332 Abstracts Collection - Distributed Verification and Grid Computing.	Distributed Verification and Grid Computing	2008	DBLP BibTeX RDF
24	Henri E. Bal, Lubos Brim, Martin Leucker	08332 Executive Summary - Distributed Verification and Grid Computing.	Distributed Verification and Grid Computing	2008	DBLP BibTeX RDF
24	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
24	Cyrille Artho	Iterative Delta Debugging.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
24	Moran Shochat, Orna Raz, Eitan Farchi	SeeCode - A Code Review Plug-in for Eclipse.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
24	Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur	Evaluating Workloads Using Comparative Functional Coverage.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
24	Carl Pixley	Practical Considerations Concerning HL-to -RT Equivalence Checking.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
24	Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001	A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
24	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
24	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
24	Cindy Eisner, Dana Fisman	Structural Contradictions.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
24	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
24	Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi	A Framework for Inherent Vacuity.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
24	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 DOI BibTeX RDF
24	Michael Backes 0001, Matteo Maffei, Dominique Unruh	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
24	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky	07011 Abstracts Collection -- Runtime Verification.	Runtime Verification	2007	DBLP BibTeX RDF
24	Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan	07421 Abstracts Collection -- Formal Protocol Verification Applied.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
24	Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky	07011 Executive Summary -- Runtime Verification.	Runtime Verification	2007	DBLP BibTeX RDF
24	Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan	07421 Executive Summary -- Formal Protocol Verification Applied.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
24	Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee 0001	Runtime Verification for Wireless Sensor Network Applications.	Runtime Verification	2007	DBLP BibTeX RDF
24	Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai	Locating Regression Bugs.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	Dana Fisman	On the Characterization of Until as a Fixed Point Under Clocked Semantics.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	Andreas Zeller	Where Do Bugs Come from?	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai	GenUTest: A Unit Test and Mock Aspect Generation Tool.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	Harald Raffelt, Bernhard Steffen, Tiziana Margaria	Dynamic Testing Via Automata Learning.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	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
24	Gérard Basler, Daniel Kroening, Georg Weissenbacher	A Complete Bounded Model Checking Algorithm for Pushdown Systems.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	Laurent Fournier, Avi Ziv	Using Virtual Coverage to Hit Hard-To-Reach Events.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	Anna Moss	Constraint Patterns and Search Procedures for CP-Based Random Test Generation.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
24	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 DOI BibTeX RDF
24	Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher	06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.	Simulation and Verification of Dynamic Systems	2006	DBLP BibTeX RDF
24	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
24	David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher	06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.	Simulation and Verification of Dynamic Systems	2006	DBLP BibTeX RDF
24	Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher	06161 Executive Summary -- Simulation and Verification of Dynamic Systems.	Simulation and Verification of Dynamic Systems	2006	DBLP BibTeX RDF
24	Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm	06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.	Software Verification: Infinite-State Model Checking and Static Program Analysis	2006	DBLP BibTeX RDF
24	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
24	Thomas Tuerk, Klaus Schneider 0001, Mike Gordon	Model Checking PSL Using HOL and SMV.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
24	Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler	Automatic Fault Localization for Property Checking.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
24	Bernhard Steffen, Tiziana Margaria, Ralf Nagel 0001, Sven Jörges, Christian Kubczak	Model-Driven Development with the jABC.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
24	Michael Jackson 0001	Testing the Machine in the World.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
24	Onur Guzey, Charles H.-P. Wen, Li-C. Wang, Tao Feng 0012, Hillel Miller, Magdy S. Abadir	Extracting a Simplified View of Design Functionality Based on Vector Simulation.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
24	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
24	Alan Hartman, Mika Katara, Sergey Olvovsky	Choosing a Test Modeling Language: A Survey.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
24	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
24	Stella Levin, Amiram Yehudai	Evolutionary Testing: A Case Study.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	genetic algorithms, Software testing, automatic test generation
24	Mika Katara, Antti Kervinen	Making Model-Based Testing More Agile: A Use Case Driven Approach.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
24	Saddek Bensalem, Klaus Havelund	Dynamic Deadlock Analysis of Multi-threaded Programs.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Steve MacDonald, Jun Chen 0018, Diego Novillo	Choosing Among Alternative Futures.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc	An Extensible Open-Source Compiler Infrastructure for Testing.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna	Simultaneous SAT-Based Model Checking of Safety Properties.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Eitan Farchi, Bradley R. Harrington	Assisting the Code Review Process Using Simple Pattern Recognition.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, Taisy Silva Weber	A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon	Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe	Benchmarking and Testing OSD for Correctness and Compliance.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Mark Last, Shay Eyal, Abraham Kandel	Effective Black-Box Testing with Genetic Algorithms.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF	Genetic algorithms, Fuzzy logic, Computational intelligence, Black-box testing, Test prioritization
24	Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Jani Pesonen, Mika Katara, Tommi Mikkonen	Production-Testing of Embedded Systems with Aspects.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
24	Stefan Borovac, Gerhard Heindl	Result Verification for Computational Problems in Geodesy.	Numerical Software with Result Verification	2003	DBLP DOI BibTeX RDF
24	Teruya Minamoto	Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
24	Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto	Introduction: Symbolic Algebraic Methods and Verification Methods.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
24	Siegfried M. Rump	Fast Verification Algorithms in MATLAB.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
24	Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe	Abstract Interpretation based Verification of Logic Programs.	Verification of Logic Programs@ICLP	1999	DBLP DOI BibTeX RDF
24	Sandro Etalle, Jan-Georg Smaus	Preface - Workshop on Verification of Logic Programs.	Verification of Logic Programs@ICLP	1999	DBLP DOI BibTeX RDF
24	Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke	Towards Light-Weight Verification and Heavy-Weight Testing.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
24	Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe	An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
24	Bettina Buth	PAMELA+PVS Verification of Sequential Programs.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
24	Peter Baumgartner 0001, Dorothea Schäfer	Model Elimination with Simplification and its Application to Software Verification.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
24	Kay Fuhrmann, Jan Hiemer	Formal Verification of Statemate-Statecharts.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
24	Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann	Correct Programs without Proof? On Checker-Based Program Verification.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
24	Martin Lange, Martin Leucker, Thomas Noll 0001, Stephan Tobies	Truth - A verification platform for concurrent systems.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
24	Mandayam K. Srivas, Harald Rueß, David Cyrluk	Hardware Verification Using PVS.	Formal Hardware Verification	1997	DBLP DOI BibTeX RDF
24	Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou 0001	Verification with Abstract State Machines Using MDGs.	Formal Hardware Verification	1997	DBLP DOI BibTeX RDF
24	Jørgen Staunstrup	Design Verification Using Synchronized Transitions.	Formal Hardware Verification	1997	DBLP DOI BibTeX RDF
24	Ugo Montanari, Marco Pistore	History dependent verification for partial order systems.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
24	Elie Najm, Frank Olsen	Protocol verification with reactive Promela/Rspin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
24	Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales	Dynamic analysis of SA/RT models using Spin and modular verification.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
24	Pedro Merino 0001, José María Troya Linero	Modelling and verification of the MCS layer with Spin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF