Zhen Song's Top Recommendations

These recommendations were last updated 43 minutes ago.

	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted by 7 people dwei98 maddogmiller StFX Centre for Logic and Information streetlightios yoriyuki keigoi msakai
	Automatic verification of finite-state concurrent systems using temporal logic specifications [My Copy] ACM Trans. Program. Lang. Syst., Vol. 8, No. 2. (April 1986), pp. 244-263. by E. M. Clarke, E. A. Emerson, A. P. Sistla posted by 7 people dwei98 streetlightios aristodemos hmeyer pintman gk-intern mccrimson
	Safety verification and reachability analysis for hybrid systems☆ [My Copy] Annual Reviews in Control, Vol. 33, No. 1. (April 2009), pp. 25-36. by Hervé Guéguen, Marie-Anne Lefebvre, Janan Zaytoon, Othman Nasri posted by 1 person dwei98
	Verification of real-time systems with preemption: negative and positive results [My Copy] Innovations in Systems and Software Engineering by Frédéric Boniol, Jérôme Ermont, Claire Pagetti posted by 1 person dwei98
	Decompositional Petri Net Reductions [My Copy] Integrated Formal Methods (2009), pp. 352-366. by Astrid Rakow posted by 2 people dwei98 StFX Centre for Logic and Information
	IEEE standard for software verification and validation plans [My Copy] IEEE Std 1012-1986 In IEEE Std 1012-1986 (1986) posted by 2 people dwei98 kirchengast
	Theorem Proving for Verification (Invited Tutorial) [My Copy] Computer Aided Verification (2008), pp. 11-18. by John Harrison posted by 2 people dwei98 michaelbanks
	Validation, verification, and testing: diversity rules [My Copy] Software, IEEE In Software, IEEE, Vol. 15, No. 4. (1998), pp. 46-49. by B. Kitchenham, S. Linkman posted by 2 people dwei98 JansonHanson
	Formalization and verification of safety properties of Statechart specifications [My Copy] Software Engineering Conference, 1996. Proceedings. 1996 Asia-Pacific In Software Engineering Conference, 1996. Proceedings. 1996 Asia-Pacific (1996), pp. 16-27. by K. C. Kang, K. I. Ko posted by 1 person dwei98
	Selecting V&V Technology Combinations: How to Pick a Winner? [My Copy] Engineering of Complex Computer Systems, IEEE International Conference on, Vol. 0 (2007), pp. 87-96. by Paul Strooper, Margaret A. Wojcicki posted by 2 people dwei98 whazzup221
	Symbolic model checking [My Copy] Computer Aided Verification (1996), pp. 419-422. by E. Clarke, K. Mcmillan, S. Campos, V. Hartonas-Garmhausen posted by 1 person dwei98
	Runtime Checking for Program Verification [My Copy] Runtime Verification (2007), pp. 202-213. by Karen Zee, Viktor Kuncak, Michael Taylor, Martin Rinard posted by 2 people dwei98 pedagand
	Flexibility in manufacturing and services: achievements, insights and challenges [My Copy] Flexible Services and Manufacturing Journal by John Buzacott, Marvin Mandelbaum posted by 1 person dwei98
	Theorem Proving for Verification [My Copy] Modeling and Verification of Parallel Processes (2001), pp. 39-57. by John Rushby posted by 3 people dwei98 mishra_satish michaelbanks
	An Automated Approach for Verification of Software Requirements ⋆ [My Copy] by Amador Durán, Antonio Ruiz, Miguel Toro posted by 2 people dwei98 swatipendyala
	Theorem Proving for Verification [My Copy] In MOVEP '00: Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes (2001), pp. 39-57. by John M. Rushby posted by 2 people dwei98 shimomura
	An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy) [My Copy] (06 August 2007) by Peter Smith posted by 4 people pirapira dwei98 Scis0000002 NitinCR
	Godel's Incompleteness Theorems (Oxford Logic Guides, No 19) [My Copy] (20 August 1992) by Raymond M. Smullyan posted by 2 people dwei98 NitinCR
	Using SPIN for feature interaction analysis - a case study [My Copy] In In [15, Vol. 2057 (2001), pp. 143-162. by M. Calder, A. Miller posted by 2 people dwei98 eduardod
	Towards the verification of scenarios with time Petri-nets [My Copy] Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International In Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International (2000), pp. 503-508. by J. Lee, Jiann-I Pan, Jong-Yih Kuo, Yong-Yi Fanjiang, S. Yang posted by 1 person dwei98
	Formal verification in a component-based reuse methodology [My Copy] System Synthesis, 2002. 15th International Symposium on In System Synthesis, 2002. 15th International Symposium on (2002), pp. 156-161. by D. Karlsson, P. Eles, Zebo Peng posted by 1 person dwei98
	Constraint-Based Approach for Analysis of Hybrid Systems [My Copy] Computer Aided Verification (2008), pp. 190-203. by Sumit Gulwani, Ashish Tiwari posted by 2 people dwei98 hwang
	Formal verification of systemc designs using a petri-net based representation [My Copy] In DATE '06: Proceedings of the conference on Design, automation and test in Europe (2006), pp. 1228-1233. by Daniel Karlsson, Petru Eles, Zebo Peng posted by 1 person dwei98
	Formal Verification and Synthesis for an Air Traffic Management System [My Copy] by Adilson L. Bonifácio posted by 2 people dwei98 castillo_grc
	Principles of Model Checking [My Copy] (31 May 2008) by Christel Baier, Joost-Pieter Katoen posted by 5 people dwei98 mperalta cometyang srccheck leonardo
	Design Framework Of PLC-Based Control For Reconfigurable Manufacturing Systems [My Copy] by Matthias Schreyer, Mitchell M. Tseng posted by 2 people dwei98 guohuijuan
	Formalization of PLC programs to sustain reliability [My Copy] Robotics, Automation and Mechatronics, 2004 IEEE Conference on In Robotics, Automation and Mechatronics, 2004 IEEE Conference on, Vol. 2 (2004), pp. 613-618 vol.2. by M. B. Younis, G. Frey posted by 2 people dwei98 voronov
	Efficient representation for formal verification of PLC programs [My Copy] Discrete Event Systems, 2006 8th International Workshop on In Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 182-187. by V. Gourcuff, O. De Smet, J. M. Faure posted by 2 people dwei98 voronov
	Software Verification for Programmable Logic Controllers [My Copy] by Ralf Huuck posted by 2 people dwei98 voronov
	Improving automation software dependability: A role for formal methods? [My Copy] Control Engineering Practice In Special Issue on Manufacturing Plant Control: Challenges and Issues - INCOM 2004, 11th IFAC INCOM'04 Symposium on Information Control Problems in Manufacturing, Vol. 15, No. 11. (November 2007), pp. 1403-1415. by Timothy L. Johnson posted by 2 people dwei98 voronov
	Patterns in Property Specifications for Finite-State Verification [My Copy] No. UM-CS-1998-035. (1998) by M. B. Dwyer, G. S. Avrunin, J. C. Corbett posted by 2 people dwei98 seanc
	The First Thirty Years: Experience with Software Verification [My Copy] Tests and Proofs (2008), pp. 1-3. by Michael Hennell posted by 2 people dwei98 leonardo
	Testing the Machine in the World [My Copy] Hardware and Software, Verification and Testing (2007), pp. 198-203. by Michael Jackson posted by 2 people dwei98 pverstra
	Verification of C Programs Using Automated Reasoning [My Copy] In SEFM '07: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (2007), pp. 7-14. by David Crocker, Judith Carlton posted by 2 people dwei98 bhuber
	An Open Source IEC 61131-3 Integrated Development Environment [My Copy] Industrial Informatics, 2007 5th IEEE International Conference on In Industrial Informatics, 2007 5th IEEE International Conference on, Vol. 1 (2007), pp. 183-187. by Edouard Tisserant, Laurent Bessard, Mario de Sousa posted by 2 people dwei98 voronov
	Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells [My Copy] Control Engineering Practice In Special Issue on Manufacturing Plant Control: Challenges and Issues - INCOM 2004, 11th IFAC INCOM'04 Symposium on Information Control Problems in Manufacturing, Vol. 15, No. 11. (November 2007), pp. 1416-1426. by H. Flordal, M. Fabian, K. Akesson, D. Spensieri posted by 2 people dwei98 voronov
	Formal development and verification of a distributed railway control system [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 26, No. 8. (2000), pp. 687-701. by A. E. Haxthausen, J. Peleska posted by 1 person dwei98
	Genesys-Pro: innovations in test program generation for functional processor verification [My Copy] IEEE Design & Test of Computers In IEEE Design & Test of Computers, Vol. 21, No. 2. (2004), pp. 84-93. by A. Adir, E. Almog, L. Fournier, et al.E. Marcus, M. Rimon, M. Vinov, A. Ziv posted by 2 people dwei98 lcigler
	Application of symbolic and bounded model checking to the verification of logic control systems [My Copy] Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on In Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, Vol. 1 (2005), 4 pp.. by K. Loeis, M. B. Younis, G. Frey posted by 2 people dwei98 voronov
	Verification of Finite-State-Machine Refinements Using a Symbolic Methodology [My Copy] Correct Hardware Design and Verification Methods: 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 1999. Proceedings (1999), pp. 705-705. by Stefan Hendricx, Luc Claesen posted by 2 people dwei98 leonardo
	Applications of Hierarchical Verification in Model Checking [My Copy] Formal Methods in Computer-Aided Design (2000), pp. 1-19. by Robert Beers, Rajnish Ghughal, Mark Aagaard posted by 2 people dwei98 leonardo
	Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling [My Copy] In CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification (2002), pp. 223-235. by H\aakan L. S. Younes, Reid G. Simmons posted by 2 people dwei98 tuncay
	Towards an automated test generation for the verification of model transformations [My Copy] In SAC '07: Proceedings of the 2007 ACM symposium on Applied computing (2007), pp. 998-1005. by Maher Lamari posted by 4 people dwei98 adenilso leonardo bb
	Verification of Fault Tolerance and Real Time [My Copy] In Proceedings of the 26th IEEE Symposium on Fault Tolerant Computing Systems ({FTCS}-26) (1996), pp. 220-229. by Z. Liu, M. Joseph posted by 2 people dwei98 rCOS
	Rule-Based Runtime Verification [My Copy] Verification, Model Checking, and Abstract Interpretation (2004), pp. 277-306. by Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen posted by 3 people dwei98 mzp gfraser
	Verification engineering: a future profession [My Copy] In PODC '97: Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing (1997) by Amir Pnueli posted by 2 people dwei98 bunge
	Formal methods for the specification and design of real-time safety critical systems [My Copy] J. Syst. Softw., Vol. 18, No. 1. (April 1992), pp. 33-60. by Jonathan S. Ostroff posted by 2 people dwei98 citeilike
	Model Checking of Safety Properties [My Copy] Form. Methods Syst. Des., Vol. 19, No. 3. (November 2001), pp. 291-314. by Orna Kupferman, Moshe Y. Vardi posted by 2 people dwei98 bfraser
	The control of discrete event systems [My Copy] Proceedings of the IEEE, Vol. 77, No. 1. (1989), pp. 81-98. by P. J. G. Ramadge, W. M. Wonham posted by 4 people dwei98 ddahlem suizan voronov
	Formal Validation of Hierarchical State Machines against Expectations [My Copy] Software Engineering Conference, 2007. ASWEC 2007. 18th Australian (2007), pp. 181-190. by Ian Toyn, Andy Galloway posted by 2 people dwei98 leonardo
	Modeling the control of a flexible manufacturing cell for automatic verification and control program generation [My Copy] International Journal of Flexible Manufacturing Systems, Vol. 18, No. 3. (September 2006), pp. 191-208. by Johan Richardsson, Martin Fabian posted by 2 people dwei98 voronov
	A Translation Method of Ladder Diagram on PLC with Application to a Manufacturing Process [My Copy] by Hyung S. Kim, Naehyuck Chang, Wook H. Kwon posted by 2 people dwei98 freddy
	Automated Verification: Graphs, Logic, and Automata [My Copy] by Moshe V. Rice posted by 2 people dwei98 scis0000001
	Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly [My Copy] Journal of Systems Architecture, Vol. 48, No. 1-3. (September 2002), pp. 17-35. by Ick, Wook, Ju posted by 2 people dwei98 leonardo
	Formal verification of Statecharts using finite-state model checkers [My Copy] American Control Conference, 2001. Proceedings of the 2001, Vol. 1 (2001), pp. 313-318 vol.1. by Qianchuan Zhao, B. H. Krogh posted by 2 people dwei98 leonardo
	Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach [My Copy] Semiconductor Manufacturing, IEEE Transactions on, Vol. 11, No. 3. (1998), pp. 333-357. by Mengchu Zhou posted by 3 people dwei98 pverstra macc
	Software verification and validation: an overview [My Copy] Software, IEEE, Vol. 6, No. 3. (1989), pp. 10-17. by D. R. Wallace, R. U. Fujii posted by 3 people dwei98 jhs06r gergana_nikolova
	A Substructural Logic for Formal Verification [My Copy] by Sara Kalvala, Valeria de Paiva posted by 2 people dwei98 vcvpaiva
	Modular Verification of Open Features Using Three-Valued Model Checking [My Copy] Automated Software Engineering, Vol. 12, No. 3. (July 2005), pp. 349-382. by Harry Li, Shriram Krishnamurthi, Kathi Fisler posted by 4 people dwei98 eduardod bfraser KarlKlose
	The model checker SPIN [My Copy] IEEE Transactions on Software Engineering, Vol. 23 (1997), pp. 279-295. by Gerard J. Holzmann posted by 2 people mattmight eduardod
	Software aging [My Copy] Software Engineering, 1994. Proceedings. ICSE-16., 16th International Conference on In Software Engineering, 1994. Proceedings. ICSE-16., 16th International Conference on (1994), pp. 279-287. by D. L. Parnas posted by 2 people andreff jweslley
	Knowledge Networks: Innovation Through Communities of Practice [My Copy] (2004) by Paul M. Hildreth, Chris Kimble posted by 11 people vergara rrbarb refkit A_Olympia xckuk pe3 Philosophy_of_Information Blog_and_Wiki_Research Communities_of_Practice Carol_Perryman richy
	LTL with the Freeze Quantifier and Register Automata [My Copy] Logic in Computer Science, 2006 21st Annual IEEE Symposium on In Logic in Computer Science, 2006 21st Annual IEEE Symposium on (2006), pp. 17-26. by S. Demri, R. Lazic posted by 2 people streetlightios fheintz
	On the freeze quantifier in Constraint LTL: Decidability and complexity☆ [My Copy] Information and Computation, Vol. 205, No. 1. (January 2007), pp. 2-24. by S. Demri, R. Lazic, D. Nowak posted by 2 people streetlightios fheintz
	Quantitative verification: models techniques and tools [My Copy] In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (2007), pp. 449-458. by Marta Kwiatkowska posted by 2 people streetlightios frdr
	Model checking for probability and time: from theory to practice [My Copy] In LICS '03: Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science (2003) by Marta Kwiatkowska posted by 2 people streetlightios frdr
	Separation logic: A logic for shared mutable data structures [My Copy] (2002), pp. 55-74. by John C. Reynolds posted by 2 people streetlightios fvogels
	Diophantine Equations, Presburger Arithmetic and Finite Automata [My Copy] In CAAP '96: Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (1996), pp. 30-43. by Alexandre Boudet, Hubert Comon posted by 2 people streetlightios zuleger
	Environment Abstraction for Parameterized Verification [My Copy] Verification, Model Checking, and Abstract Interpretation (2006), pp. 126-141. by Edmund Clarke, Muralidhar Talupur, Helmut Veith posted by 2 people streetlightios zuleger
	Proving non-termination [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 147-158. by Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu posted by 2 people streetlightios zuleger
	Program analysis as constraint solving [My Copy] SIGPLAN Not., Vol. 43, No. 6. (June 2008), pp. 281-292. by Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan posted by 2 people streetlightios zuleger
	A Markov Chain Model Checker [My Copy] In TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 347-362. by Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle posted by 3 people streetlightios suer msakai
	Lazy shape analysis [My Copy] In In CAV’2006: Computer Aided Verification, LNCS 4144, Vol. 4144 (2006), pp. 532-546. by Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz posted by 2 people streetlightios zuleger
	Systematic Construction of Abstractions for Model-Checking [My Copy] Verification, Model Checking, and Abstract Interpretation (2006), pp. 381-397. by Arie Gurfinkel, Ou Wei, Marsha Chechik posted by 2 people streetlightios zuleger
	Why Waste a Perfectly Good Abstraction? [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2006), pp. 212-226. by Arie Gurfinkel, Marsha Chechik posted by 2 people streetlightios zuleger
	Types as models: model checking message-passing programs [My Copy] SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 45-57. by Sagar Chaki, Sriram K. Rajamani, Jakob Rehof posted by 2 people streetlightios yoriyuki
	Software Verification with BLAST [My Copy] Model Checking Software (2003), pp. 624-624. by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre posted by 3 people streetlightios shimomura msakai
	A Partial Approach to Model Checking [My Copy] In Logic in Computer Science (1991), pp. 406-415. by Patrice Godefroid, Pierre Wolper posted by 2 people streetlightios pedagand
	Model Checking a Path [My Copy] CONCUR 2003 - Concurrency Theory (2003), pp. 251-265. by N. Markey, P. Schnoebelen posted by 2 people streetlightios fheintz
	The Cost of Punctuality [My Copy] Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on In Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on (2007), pp. 109-120. by Patricia Bouyer, Nicolas Markey, Joel Ouaknine, James Worrell posted by 2 people streetlightios fheintz
	On the decidability of metric temporal logic [My Copy] Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 188-197. by J. Ouaknine, J. Worrell posted by 2 people streetlightios fheintz
	Timer formulas and decidable metric temporal logic [My Copy] Information and Computation, Vol. 198, No. 2. (1 May 2005), pp. 148-178. by Yoram Hirshfeld, Alexander Rabinovich posted by 2 people streetlightios fheintz
	Quantitative temporal logics over the reals: PSpace and below [My Copy] Information and Computation In Special Issue: TIME 2005, Vol. 205, No. 1. (January 2007), pp. 99-123. by Carsten Lutz, Dirk Walther, Frank Wolter posted by 2 people streetlightios fheintz
	Two-sorted metric temporal logics [My Copy] Theoretical Computer Science (September 1997), pp. 187-214. by A. Montanari, M. de Rijke posted by 2 people streetlightios fheintz
	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 33-47. by Edmund Clarke, Murali Talupur, Helmut Veith posted by 4 people Scis0000002 streetlightios leonardo zuleger
	Software model checking in practice: an industrial case study [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 431-441. by Satish Chandra, Patrice Godefroid, Christopher Palm posted by 5 people streetlightios msakai keigoi bfraser zuleger
	Monte Carlo Model Checking [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 271-286. by Radu Grosu, Scott A. Smolka posted by 2 people streetlightios tuncay
	Bounded Model Checking Using Satisfiability Solving [My Copy] Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34. by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu posted by 4 people streetlightios voronov shimomura msakai
	Bounded model checking for knowledge and real time [My Copy] Artificial Intelligence, Vol. 171, No. 16-17. (November 2007), pp. 1011-1038. by Alessio Lomuscio, Wojciech Penczek, Bozena Wozna posted by 2 people streetlightios fheintz
	Nondeterministic Testing with Linear Model-Checker Counterexamples [My Copy] Quality Software, 2007. QSIC '07. Seventh International Conference on In Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 107-116. by Gordon Fraser, Franz Wotawa posted by 2 people streetlightios gfraser
	Property Oriented Test Case Generation [My Copy] Formal Approaches to Software Testing (2004), pp. 147-163. by Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon posted by 3 people streetlightios gfraser sidney
	A model-checking verification environment for mobile processes [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 12, No. 4. (October 2003), pp. 440-473. by Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore posted by 2 people streetlightios keigoi
	Model checking mobile processes [My Copy] Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51. by Mads Dam posted by 2 people keigoi shimomura
	Symmetry and Model Checking [My Copy] Formal Methods in System Design: An International Journal, Vol. 9, No. 1/2. (August 1996), pp. 105-131. by Allen F. Emerson, Prasad A. Sistla posted by 2 people streetlightios bunge
	Reachability Analysis for Timed Automata Using Partitioning Algorithms [My Copy] by Agata Pólrola, Wojciech Penczek, Maciej Szreter posted by 2 people streetlightios arturmeski
	A Discipline of Programming [My Copy] (28 October 1976) by Edsger W. Dijkstra posted by 7 people leonardo streetlightios gvdh fvogels michaelbanks mishra_satish R13
	On-the-fly conformance testing using SPIN [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 2, No. 4. (1 March 2000), pp. 382-393. by René G. de Vries, Jan Tretmans posted by 2 people streetlightios gfraser
	Using Model Checking for Reducing the Cost of Test Generation [My Copy] Formal Approaches to Software Testing (2005), pp. 110-124. by Hyoung S. Hong, Hasan Ural posted by 2 people streetlightios gfraser
	A Temporal Logic Based Theory of Test Coverage and Generation [My Copy] Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (2002), pp. 151-161. by Hyoung S. Hong, Insup Lee, Oleg Sokolsky, Hasan Ural posted by 3 people streetlightios newdawn gfraser
	Software Testing via Model Checking [My Copy] Computer and Information Sciences - ISCIS 2004 (2004), pp. 907-916. by Fevzi Belli, Bariş Güldali posted by 2 people streetlightios gfraser