|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 10 keywords
|
|
|
Results
Found 43 publication records. Showing 37 according to the selection in the facets
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 |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|