|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 123-133, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
245 | Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov |
Parallel test generation and execution with Korat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 135-144, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 771-774, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
76 | Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid |
Efficient solving of structural constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 39-50, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCMB ![In: ICCMB 2020: The 3rd International Conference on Computers in Management and Business, Tokyo, Japan, January 31 - February 2, 2020, pp. 283-289, 2020, ACM, 978-1-4503-7677-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pp. 1934-1943, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 44(4), pp. 15, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
36 | Nima Dini, Cagdas Yelen, Sarfraz Khurshid |
Optimizing parallel Korat using invalid ranges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 182-191, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 29(6), pp. 6841-6863, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 1114-1121, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.10144, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.11055, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(6), pp. 2369, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 31st ACM International Conference on Information & Knowledge Management, Atlanta, GA, USA, October 17-21, 2022, pp. 780-790, 2022, ACM, 978-1-4503-9236-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASSA@ACL ![In: Proceedings of the 12th Workshop on Computational Approaches to Subjectivity, Sentiment & Social Media Analysis, WASSA@ACL 2022, Dublin, Ireland, May 26, 2022, pp. 104-112, 2022, Association for Computational Linguistics, 978-1-955917-52-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (System Demonstrations) ![In: Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, EACL 2021, Online, April 19-23, 2021, pp. 135-142, 2021, Association for Computational Linguistics, 978-1-954085-05-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Korat |
3D Neural Network for Lung Cancer Risk Prediction on CT Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.12898, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
35 | Oren Pereg, Daniel Korat, Moshe Wasserblat |
Syntactically Aware Cross-Domain Aspect and Opinion Terms Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 28th International Conference on Computational Linguistics, COLING 2020, Barcelona, Spain (Online), December 8-13, 2020, pp. 1772-1777, 2020, International Committee on Computational Linguistics, 978-1-952148-27-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
35 | Uday A. Korat, Amirhossein Alimohammad |
A Reconfigurable Hardware Architecture for Principal Component Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 38(5), pp. 2097-2113, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.05608, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP/IJCNLP (3) ![In: Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, EMNLP-IJCNLP 2019, Hong Kong, China, November 3-7, 2019 - System Demonstrations, pp. 1-6, 2019, Association for Computational Linguistics, 978-1-950737-92-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Omer Korat |
The Rationality of Semantic Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LChange@ACL ![In: Proceedings of the 1st International Workshop on Computational Approaches to Historical Language Change, LChange@ACL 2019, Florence, Italy, August 2, 2019, pp. 151-160, 2019, Association for Computational Linguistics, 978-1-950737-31-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.10104, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.08953, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING (Demos) ![In: COLING 2018, The 27th International Conference on Computational Linguistics: System Demonstrations, Santa Fe, New Mexico, August 20-26, 2018, pp. 58-62, 2018, Association for Computational Linguistics, 978-1-948087-53-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Demonstration) ![In: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018: System Demonstrations, Brussels, Belgium, October 31 - November 4, 2018, pp. 19-24, 2018, Association for Computational Linguistics, 978-1-948087-85-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Uday A. Korat, Pratik Yadav, Harshil Shah |
An efficient hardware implementation of vector-based odd-even merge sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UEMCON ![In: 8th IEEE Annual Ubiquitous Computing, Electronics and Mobile Communication Conference, UEMCON 2017, New York City, NY, USA, October 19-21, 2017, pp. 654-657, 2017, IEEE, 978-1-5386-1104-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Ofra Korat, Adina Shamir, Livnat Arbiv |
E-books as support for emergent writing with and without adult assistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 16(3), pp. 301-318, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. ![In: Comput. Educ. 55(1), pp. 24-31, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 14(1), pp. 39-53, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. ![In: Comput. Educ. 51(1), pp. 354-367, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. ![In: Comput. Educ. 50(1), pp. 110-124, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Assist. Learn. ![In: J. Comput. Assist. Learn. 23(3), pp. 248-259, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Assist. Learn. ![In: J. Comput. Assist. Learn. 20(4), pp. 257-268, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid |
A Case for Automated Debugging Using Data Structure Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 620-624, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Juzi, Korat, Debugging, Data structure repair |
31 | Sarfraz Khurshid, Yuk Lai Suen |
Generalizing symbolic execution to library classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005, pp. 103-110, 2005, ACM, 1-59593-239-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 34-49, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|