Search results for "Checkers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti	From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI.	Software, Services, and Systems	2015	DBLP DOI BibTeX RDF
17	Pietro Saltarelli, Behrad Niazmand, Ranganathan Hariharan, Jaan Raik, Gert Jervan, Thomas Hollstein	Automated minimization of concurrent online checkers for Network-on-Chips.	ReCoSoC	2015	DBLP DOI BibTeX RDF
17	Henrique Castro Neto, Rita Maria da Silva Julia	ACE-RL-Checkers: Improving automatic case elicitation through knowledge obtained by reinforcement learning in player agents.	CIG	2015	DBLP DOI BibTeX RDF
17	Zakaria Chihani, Tomer Libal, Giselle Reis	The Proof Certifier Checkers.	TABLEAUX	2015	DBLP DOI BibTeX RDF
17	Clive Frankland, Nelishia Pillay	Evolving Heuristic Based Game Playing Strategies for Checkers Incorporating Reinforcement Learning.	NaBIC	2015	DBLP DOI BibTeX RDF
17	Henrique Castro Neto, Rita Maria da Silva Julia, Valquiria Aparecida Rosa Duarte	Improving the Accuracy of the Cases in the Automatic Case Elicitation-Based Hybrid Agents for Checkers.	ICTAI	2015	DBLP DOI BibTeX RDF
17	Pouya Taatizadeh, Nicola Nicolici	Emulation-based selection and assessment of assertion checkers for post-silicon validation.	ICCD	2015	DBLP DOI BibTeX RDF
17	Mohamed A. El-Zawawy	Novel Designs for Memory Checkers Using Semantics and Digital Sequential Circuits.	ICCSA (4)	2015	DBLP DOI BibTeX RDF
17	María Gómez 0001, Romain Rouvoy, Martin Monperrus, Lionel Seinturier	A Recommender System of Buggy App Checkers for App Store Moderators.	MOBILESoft	2015	DBLP DOI BibTeX RDF
17	Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski	Family-based model checking using off-the-shelf model checkers: extended abstract.	SPLC	2015	DBLP DOI BibTeX RDF
17	Nathan R. Sturtevant	Challenges and Progress on Using Large Lossy Endgame Databases in Chinese Checkers.	CGW/GIGA@IJCAI	2015	DBLP DOI BibTeX RDF
17	Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti	KandISTI: A Family of Model Checkers for the Analysis of Software Designs.	ERCIM News	2014	DBLP BibTeX RDF
17	Henrique Castro Neto, Rita Maria da Silva Julia, Gutierrez Soares Caexeta, Ayres Roberto Araújo Barcelos	LS-VisionDraughts: improving the performance of an agent for checkers by integrating computational intelligence, reinforcement learning and a powerful search method.	Appl. Intell.	2014	DBLP DOI BibTeX RDF
17	Tobias Nipkow	Boolean Expression Checkers.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
17	María-del-Mar Gallardo, Laura Panizo	Extending model checkers for hybrid system verification: the case study of SPIN.	Softw. Test. Verification Reliab.	2014	DBLP DOI BibTeX RDF
17	Francisco Ortin, Daniel Zapico Palacio, José Quiroga, Miguel García	TyS - A Framework to Facilitate the Implementation of Object-Oriented Type Checkers.	SEKE	2014	DBLP BibTeX RDF
17	Aadeel Akhtar, James J. S. Norton, Mahsa Kasraie, Timothy Bretl	Playing checkers with your mind: An interactive multiplayer hardware game platform for brain-computer interfaces.	EMBC	2014	DBLP DOI BibTeX RDF
17	Giedre Sabaliauskaite, Aditya P. Mathur	Design of Intelligent Checkers to Enhance the Security and Safety of Cyber Physical Systems.	COMPSAC Workshops	2014	DBLP DOI BibTeX RDF
17	Hiromasa Shimada, Tatsuo Nakajima	Automatically Generating External OS Kernel Integrity Checkers for Detecting Hidden Rootkits.	UIC/ATC/ScalCom	2014	DBLP DOI BibTeX RDF
17	Takeshi Yoshimura, Kenji Kono	Who Writes What Checkers? - Learning from Bug Repositories.	HotDep	2014	DBLP BibTeX RDF
17	Varun Tulsian, Aditya Kanade, Rahul Kumar 0002, Akash Lal, Aditya V. Nori	MUX: algorithm selection for software model checkers.	MSR	2014	DBLP DOI BibTeX RDF
17	Kunal Banerjee 0001, Chittaranjan A. Mandal, Dipankar Sarkar 0001	Extending the scope of translation validation by augmenting path based equivalence checkers with SMT solvers.	VDAT	2014	DBLP DOI BibTeX RDF
17	Bahram N. Uchevler, Kjetil Svarstad	Synthesizable assertion checkers in high levels of abstraction.	ICECS	2013	DBLP DOI BibTeX RDF
17	Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita	Hardware implementation of BLTL property checkers for acceleration of statistical model checking.	ICCAD	2013	DBLP DOI BibTeX RDF
17	Julien Vanegue, Shuvendu K. Lahiri	Towards Practical Reactive Security Audit Using Extended Static Checkers.	IEEE Symposium on Security and Privacy	2013	DBLP DOI BibTeX RDF
17	Muhammad Salman Malik, Robin Berthier, Rakesh B. Bobba, Roy H. Campbell, William H. Sanders	Formal design of communication checkers for ICCP using UPPAAL.	SmartGridComm	2013	DBLP DOI BibTeX RDF
17	Louise A. Dennis, Michael Fisher 0001, Matthew P. Webster	Using Agent JPF to Build Models for Other Model Checkers.	CLIMA	2013	DBLP DOI BibTeX RDF
17	Amarjeet Singh 0002, Kusum Deep	Use of Evolutionary Algorithms to Play the Game of Checkers: Historical Developments, Challenges and Future Prospects.	SocProS (2)	2013	DBLP DOI BibTeX RDF
17	Max Roschke, Nathan R. Sturtevant	UCT Enhancements in Chinese Checkers Using an Endgame Database.	CGW@IJCAI	2013	DBLP DOI BibTeX RDF
17	Giedre Sabaliauskaite, Aditya P. Mathur	Intelligent Checkers to Improve Attack Detection in Cyber Physical Systems.	CyberC	2013	DBLP DOI BibTeX RDF
17	Aart J. C. Bik	Computing Deep Perft and Divide Numbers for Checkers.	J. Int. Comput. Games Assoc.	2012	DBLP DOI BibTeX RDF
17	Belal Al-Khateeb, Graham Kendall	Effect of Look-Ahead Depth in Evolutionary Checkers.	J. Comput. Sci. Technol.	2012	DBLP DOI BibTeX RDF
17	Belal Al-Khateeb, Graham Kendall	Introducing Individual and Social Learning Into Evolutionary Checkers.	IEEE Trans. Comput. Intell. AI Games	2012	DBLP DOI BibTeX RDF
17	Marcin Milkowski	Automating rule generation for grammar checkers	CoRR	2012	DBLP BibTeX RDF
17	Seyyed Hadi Cheheltani, Mohammad Mehdi Ebadzadeh	Immune based fuzzy agent plays checkers game.	Appl. Soft Comput.	2012	DBLP DOI BibTeX RDF
17	Mohammad Hossein Neishaburi, Zeljko Zilic	An infrastructure for debug using clusters of assertion-checkers.	Microelectron. Reliab.	2012	DBLP DOI BibTeX RDF
17	Bharti Chimdyalwar	Survey of array out of bound access checkers for C code.	ISEC	2012	DBLP DOI BibTeX RDF
17	Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco	Approximating checkers for simulation acceleration.	DATE	2012	DBLP DOI BibTeX RDF
17	Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos	A template for the construction of efficient checkers with full verification guarantees.	ICECS	2012	DBLP DOI BibTeX RDF
17	Laurence Pierre	A formal framework for testing with assertion checkers in mixed-signal simulation.	ICECS	2012	DBLP DOI BibTeX RDF
17	Laurentiu Ilici, Jiaojian Wang, Olana Missura, Thomas Gärtner 0001	Dynamic difficulty for checkers and Chinese chess.	CIG	2012	DBLP DOI BibTeX RDF
17	Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov	PSL assertion checkers synthesis with ASM based HLS tool ABELITE.	LATW	2012	DBLP DOI BibTeX RDF
17	Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin	Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage.	HOST	2012	DBLP DOI BibTeX RDF
17	João Carlos Menezes Carreira, Rodrigo Rodrigues 0001, George Candea, Rupak Majumdar	Scalable testing of file system checkers.	EuroSys	2012	DBLP DOI BibTeX RDF
17	Christian Ammann	Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers.	Softwaretechnik-Trends	2011	DBLP BibTeX RDF
17	Jan Olaf Blech, Benjamin Grégoire	Certifying compilers using higher-order theorem provers as certificate checkers.	Formal Methods Syst. Des.	2011	DBLP DOI BibTeX RDF
17	Moonzoo Kim, Yunho Kim, Hotae Kim	A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
17	Chao Sun	Alternate annotation checkers using fractional permissions.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
17	Belal Al-Khateeb, Graham Kendall	The importance of look-ahead depth in evolutionary checkers.	IEEE Congress on Evolutionary Computation	2011	DBLP DOI BibTeX RDF
17	Xin Zhang, Franck van Breugel	A Progress Measure for Explicit-State Probabilistic Model-Checkers.	ICALP (2)	2011	DBLP DOI BibTeX RDF
17	Luke Markey	A peer-to-peer checkers program.	ACM Southeast Regional Conference	2011	DBLP DOI BibTeX RDF
17	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers.	ISSRE	2011	DBLP DOI BibTeX RDF
17	Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin	Security Checkers: Detecting processor malicious inclusions at runtime.	HOST	2011	DBLP DOI BibTeX RDF
17	Gabriella A. B. Barros, Leonardo Filipe Batista Silva de Carvalho, Vitor R. M. Silva, Roberta Vilhena Vieira Lopes	An Application of Genetic Algorithm to the Game of Checkers.	SBGames	2011	DBLP DOI BibTeX RDF
17	Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller	Building and using pluggable type-checkers.	ICSE	2011	DBLP DOI BibTeX RDF
17	Justin Yip, Pascal Van Hentenryck	Symmetry Breaking via LexLeader Feasibility Checkers.	IJCAI	2011	DBLP DOI BibTeX RDF
17	Belal Al-Khateeb, Graham Kendall	Introducing a Round Robin Tournament into Evolutionary Individual and Social Learning Checkers.	DeSE	2011	DBLP DOI BibTeX RDF
17	Belal Al-Khateeb	Investigating evolutionary checkers by incorporating individual and social learning, N-tuple systems and a round robin tournament.		2011	RDF
17		Samuel's Checkers Player.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
17	Troy D. Kelley, Lyle N. Long	Deep Blue Cannot Play Checkers: The Need for Generalized Intelligence for Mobile Robots.	J. Robotics	2010	DBLP DOI BibTeX RDF
17	Haruhiko Sato, Masahito Kurihara	Multi-Context Rewriting Induction with Termination Checkers.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
17	Kevin D. Jones, Victor Konrad, Dejan Nickovic	Analog property checkers: a DDR2 case study.	Formal Methods Syst. Des.	2010	DBLP DOI BibTeX RDF
17	Karol Waledzik, Jacek Mandziuk	The Layered Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers.	PPSN (2)	2010	DBLP DOI BibTeX RDF
17	Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli	Vacuity analysis for property qualification by mutation of checkers.	DATE	2010	DBLP DOI BibTeX RDF
17	Mark van den Brand, Arjan P. van der Meer, Alexander Serebrenik, Albert T. Hofkamp	Formally specified type checkers for domain specific languages: experience report.	LDTA	2010	DBLP DOI BibTeX RDF
17	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Proving the Refuted: Symbolic Model Checkers as Proof Generators.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
17	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	Developing Model Checkers Using PAT.	ATVA	2010	DBLP DOI BibTeX RDF
17	Amit Benbassat, Moshe Sipper	Evolving Lose-Checkers players using genetic programming.	CIG	2010	DBLP DOI BibTeX RDF
17	Steve Hostettler, Alban Linard, Alexis Marechal, Matteo Risoldi	Improving the Significance of Benchmarks for Petri Nets Model Checkers.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
17	Steffen Tarnick	Design of embedded constant weight code checkers based on averaging operations.	IOLTS	2010	DBLP DOI BibTeX RDF
17	Jason Baumgartner, Michael L. Case, Hari Mony	Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers.	FMCAD	2010	DBLP BibTeX RDF
17	Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon	Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
17	Howard Hao-Jan Chen	Evaluating Two Web-based Grammar Checkers-Microsoft ESL Assistant and NTNU Statistical Grammar Checker.	Int. J. Comput. Linguistics Chin. Lang. Process.	2009	DBLP BibTeX RDF
17	Gordon Fraser 0001, Franz Wotawa, Paul Ammann	Issues in using model checkers for test case generation.	J. Syst. Softw.	2009	DBLP DOI BibTeX RDF
17	Gordon Fraser 0001, Franz Wotawa, Paul Ammann	Testing with model checkers: a survey.	Softw. Test. Verification Reliab.	2009	DBLP DOI BibTeX RDF
17	Gordon Fraser 0001, Angelo Gargantini	An Evaluation of Model Checkers for Specification Based Test Case Generation.	ICST	2009	DBLP DOI BibTeX RDF
17	Xavier Renault, Fabrice Kordon, Jérôme Hugues	Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets.	IEEE International Workshop on Rapid System Prototyping	2009	DBLP DOI BibTeX RDF
17	Carmela Noro Grando, Carlos Arthur Lang Lisbôa, Álvaro Freitas Moreira, Luigi Carro	Invariant checkers: An efficient low cost technique for run-time transient errors detection.	IOLTS	2009	DBLP DOI BibTeX RDF
17	George I. Bell	The shortest game of Chinese Checkers and related problems	CoRR	2008	DBLP BibTeX RDF
17	Gordon Fraser 0001, Franz Wotawa	Using model-checkers to generate and analyze property relevant test-cases.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Property relevance, Test-suite analysis, Model-checker based testing, Software testing, Requirements traceability
17	Roelof Hamberg, Frits W. Vaandrager	Using model checkers in an introductory course on operating systems.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
17	Feifei Ma, Jian Zhang 0001	Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.	PRICAI	2008	DBLP DOI BibTeX RDF
17	Salamah Salamah, Ann Q. Gates	A Technique for Using Model Checkers to Teach Formal Specifications.	CSEE&T	2008	DBLP DOI BibTeX RDF
17	Gordon Fraser 0001, Bernhard K. Aichernig, Franz Wotawa	Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers.	MBT	2007	DBLP DOI BibTeX RDF
17	Franco Raimondi, Charles Pecheur, Guillaume Brat	Testing Planning Domains (without Model Checkers).	MBT	2007	DBLP DOI BibTeX RDF
17	Jonathan Schaeffer	Game Over: Black to Play and Draw in Checkers.	J. Int. Comput. Games Assoc.	2007	DBLP BibTeX RDF
17	Matteo Cavaliere, Rudolf Freund, Marion Oswald, Dragos Sburlan	Multiset random context grammars, checkers, and transducers.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Gordon Fraser 0001, Franz Wotawa	Creating Test-Cases Incrementally with Model-Checkers.	GI Jahrestagung (2)	2007	DBLP BibTeX RDF
17	Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie	A buffer overflow benchmark for software model checkers.	ASE	2007	DBLP DOI BibTeX RDF	model checking, benchmark, buffer overflow, array bounds checking
17	Gordon Fraser 0001, Franz Wotawa	Property relevant software testing with model-checkers.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	model-checker based testing, property relevance, test-suite analysis, software testing, requirements traceability
17	Qianchuan Zhao, Bruce H. Krogh	Formal verification of statecharts using finite-state model checkers.	IEEE Trans. Control. Syst. Technol.	2006	DBLP DOI BibTeX RDF
17	Lauren Figueredo, Connie K. Varnhagen	Spelling and grammar checkers: are they intrusive?	Br. J. Educ. Technol.	2006	DBLP DOI BibTeX RDF
17	Gordon Fraser 0001, Franz Wotawa	Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.	ICSEA	2006	DBLP DOI BibTeX RDF
17	Ganesh Srinivasan, Friedrich Taenzler, Abhijit Chatterjee	Online RF checkers for diagnosing multi-gigahertz automatic test boards on low cost ATE platforms.	DATE	2006	DBLP DOI BibTeX RDF
17	Zoltán Micskei, István Majzik	Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
17	Marc Boule, Jean-Samuel Chenard, Zeljko Zilic	Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug.	ICCD	2006	DBLP DOI BibTeX RDF
17	Robby, Matthew B. Dwyer, John Hatcliff	Bogor: A Flexible Framework for Creating Software Model Checkers.	TAIC PART	2006	DBLP DOI BibTeX RDF
17	Frederic Worm, Patrick Thiran, Paolo Ienne	Designing Robust Checkers in the Presence of Massive Timing Errors.	IOLTS	2006	DBLP DOI BibTeX RDF
17	Gert Goossens, Dirk Lanneer, Werner Geurts, Johan Van Praet	Design of ASIPs in multi-processor SoCs using the Chess/Checkers retargetable tool suite.	SoC	2006	DBLP DOI BibTeX RDF
17	Tayfun Elmas, Serdar Tasiran	VyrdMC: Driving Runtime Refinement Checking with Model Checkers.	RV@CAV	2005	DBLP DOI BibTeX RDF