Search results for "korat"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
291	Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov	Korat: automated testing based on Java predicates.	ISSTA	2002	DBLP DOI BibTeX RDF
245	Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov	Parallel test generation and execution with Korat.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	Korat, test data generation, parallel testing, bounded-exhaustive testing
163	Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid	Korat: A Tool for Generating Structurally Complex Test Inputs.	ICSE	2007	DBLP DOI BibTeX RDF
76	Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid	Efficient solving of structural constraints.	ISSTA	2008	DBLP DOI BibTeX RDF	model checking, backtracking, systematic testing
71	Thawatphong Phithak, Sorachai Kamollimsakul	Korat Historical Explorer: The Augmented Reality Mobile Application to Promote Historical Tourism in Korat.	ICCMB	2020	DBLP DOI BibTeX RDF
71	Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid	Korat-API: a framework to enhance korat to better support testing and reliability techniques.	SAC	2018	DBLP DOI BibTeX RDF
36	Alyas Almaawi, Hayes Converse, Milos Gligoric 0001, Sasa Misailovic, Sarfraz Khurshid	Quantifying the Exploration of the Korat Solver for Imperative Constraints.	ACM SIGSOFT Softw. Eng. Notes	2019	DBLP DOI BibTeX RDF
36	Nima Dini, Cagdas Yelen, Sarfraz Khurshid	Optimizing parallel Korat using invalid ranges.	SPIN	2017	DBLP DOI BibTeX RDF
35	Menahem Yeari, Adi Hadad, Ofra Korat	The effect of amount, type and reoccurrence of interactions in electronic books on word learning and story comprehension by kindergartners.	Educ. Inf. Technol.	2024	DBLP DOI BibTeX RDF
35	Shubham Malaviya, Manish Shukla 0001, Pratik Korat, Sachin Lodha	FedFAME: A Data Augmentation Free Framework based on Model Contrastive Learning for Federated Semi-Supervised Learning.	SAC	2023	DBLP DOI BibTeX RDF
35	Phillip Howard, Arden Ma, Vasudev Lal, Ana Paula Simões, Daniel Korat, Oren Pereg, Moshe Wasserblat, Gadi Singer	Cross-Domain Aspect Extraction using Transformers Augmented with Knowledge Graphs.	CoRR	2022	DBLP DOI BibTeX RDF
35	Lewis Tunstall, Nils Reimers 0003, Unso Eun Seo Jo, Luke Bates, Daniel Korat, Moshe Wasserblat, Oren Pereg	Efficient Few-Shot Learning Without Prompts.	CoRR	2022	DBLP DOI BibTeX RDF
35	Enej Gucek Puhar, Lidija Korat, Miran Eric, Ales Jaklic, Franc Solina	Microtomographic Analysis of a Palaeolithic Wooden Point from the Ljubljanica River.	Sensors	2022	DBLP DOI BibTeX RDF
35	Phillip Howard, Arden Ma, Vasudev Lal, Ana Paula Simões, Daniel Korat, Oren Pereg, Moshe Wasserblat, Gadi Singer	Cross-Domain Aspect Extraction using Transformers Augmented with Knowledge Graphs.	CIKM	2022	DBLP DOI BibTeX RDF
35	Ayal Klein, Oren Pereg, Daniel Korat, Vasudev Lal, Moshe Wasserblat, Ido Dagan	Opinion-based Relational Pivoting for Cross-domain Aspect Term Extraction.	WASSA@ACL	2022	DBLP DOI BibTeX RDF
35	Vasudev Lal, Arden Ma, Estelle Aflalo, Phillip Howard, Ana Paula Simões, Daniel Korat, Oren Pereg, Gadi Singer, Moshe Wasserblat	InterpreT: An Interactive Visualization Tool for Interpreting Transformers.	EACL (System Demonstrations)	2021	DBLP DOI BibTeX RDF
35	Daniel Korat	3D Neural Network for Lung Cancer Risk Prediction on CT Volumes.	CoRR	2020	DBLP BibTeX RDF
35	Oren Pereg, Daniel Korat, Moshe Wasserblat	Syntactically Aware Cross-Domain Aspect and Opinion Terms Extraction.	COLING	2020	DBLP DOI BibTeX RDF
35	Uday A. Korat, Amirhossein Alimohammad	A Reconfigurable Hardware Architecture for Principal Component Analysis.	Circuits Syst. Signal Process.	2019	DBLP DOI BibTeX RDF
35	Oren Pereg, Daniel Korat, Moshe Wasserblat, Jonathan Mamou, Ido Dagan	ABSApp: A Portable Weakly-Supervised Aspect-Based Sentiment Extraction System.	CoRR	2019	DBLP BibTeX RDF
35	Oren Pereg, Daniel Korat, Moshe Wasserblat, Jonathan Mamou, Ido Dagan	ABSApp: A Portable Weakly-Supervised Aspect-Based Sentiment Extraction System.	EMNLP/IJCNLP (3)	2019	DBLP DOI BibTeX RDF
35	Omer Korat	The Rationality of Semantic Change.	LChange@ACL	2019	DBLP DOI BibTeX RDF
35	Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Ido Dagan, Yoav Goldberg, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat	Term Set Expansion based on Multi-Context Term Embeddings: an End-to-end Workflow.	CoRR	2018	DBLP BibTeX RDF
35	Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat	Term Set Expansion based NLP Architect by Intel AI Lab.	CoRR	2018	DBLP BibTeX RDF
35	Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Ido Dagan, Yoav Goldberg, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat	SetExpander: End-to-end Term Set Expansion Based on Multi-Context Term Embeddings.	COLING (Demos)	2018	DBLP BibTeX RDF
35	Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat	Term Set Expansion based NLP Architect by Intel AI Lab.	EMNLP (Demonstration)	2018	DBLP DOI BibTeX RDF
35	Uday A. Korat, Pratik Yadav, Harshil Shah	An efficient hardware implementation of vector-based odd-even merge sorting.	UEMCON	2017	DBLP DOI BibTeX RDF
35	Ofra Korat, Adina Shamir, Livnat Arbiv	E-books as support for emergent writing with and without adult assistance.	Educ. Inf. Technol.	2011	DBLP DOI BibTeX RDF
35	Ofra Korat	Reading electronic books as a support for vocabulary, story comprehension and word reading in kindergarten and first grade.	Comput. Educ.	2010	DBLP DOI BibTeX RDF
35	Ofra Korat	The effects of CD-ROM storybook reading on Israeli children's early literacy as a function of age group and repeated reading.	Educ. Inf. Technol.	2009	DBLP DOI BibTeX RDF
35	Adina Shamir, Ofra Korat, Nili Barbi	The effects of CD-ROM storybook reading on low SES kindergarteners' emergent literacy as a function of learning context.	Comput. Educ.	2008	DBLP DOI BibTeX RDF
35	Ofra Korat, Adina Shamir	The educational electronic book as a tool for supporting children's emergent literacy in low versus middle SES groups.	Comput. Educ.	2008	DBLP DOI BibTeX RDF
35	Ofra Korat, Adina Shamir	Electronic books versus adult readers: effects on children's emergent literacy as a function of social class.	J. Comput. Assist. Learn.	2007	DBLP DOI BibTeX RDF
35	Ofra Korat, Adina Shamir	Do Hebrew electronic books differ from Dutch electronic books? A replication of a Dutch content analysis.	J. Comput. Assist. Learn.	2004	DBLP DOI BibTeX RDF
31	Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid	A Case for Automated Debugging Using Data Structure Repair.	ASE	2009	DBLP DOI BibTeX RDF	Juzi, Korat, Debugging, Data structure repair
31	Sarfraz Khurshid, Yuk Lai Suen	Generalizing symbolic execution to library classes.	PASTE	2005	DBLP DOI BibTeX RDF	korat, model checking, symbolic execution, test input generation
25	Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid	Generating Representation Invariants of Structurally Complex Data.	TACAS	2007	DBLP DOI BibTeX RDF