default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSarfraz Khurshid
Person information
- affiliation: University of Texas at Austin, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c171]Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen:
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. ICLR 2024- [i15]Shan Jiang, Chenguang Zhu, Sarfraz Khurshid:
Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs. CoRR abs/2411.01789 (2024) - 2023
- [c170]Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari
:
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. ASE 2023: 104-115 - 2022
- [j29]Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid:
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning. Neural Networks 151: 34-47 (2022) - [c169]Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad:
SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. ICSE 2022: 1932-1944 - [c168]Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid:
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications. ESEC/SIGSOFT FSE 2022: 1209-1220 - [i14]Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad:
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. CoRR abs/2202.10451 (2022) - 2021
- [j28]Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid:
An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank. IEEE Trans. Software Eng. 47(6): 1089-1113 (2021) - [c167]Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid:
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. ASE 2021: 240-252 - [c166]Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov:
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS 2021: 123-130 - [c165]Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Enhancing constraint-based repair of data structure errors that recur using memoization. SAC 2021: 1823-1832 - [c164]Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari:
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities. ESEC/SIGSOFT FSE 2021: 316-327 - [i13]Shikhar Singh, Sarfraz Khurshid:
Distributed Symbolic Execution using Test-Depth Partitioning. CoRR abs/2106.02179 (2021) - [i12]Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik:
Programming and Training Rate-Independent Chemical Reaction Networks. CoRR abs/2109.11422 (2021) - [i11]Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen:
NeuroComb: Improving SAT Solving with Graph Neural Networks. CoRR abs/2110.14053 (2021) - 2020
- [j27]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRN++: Molecular programming language. Nat. Comput. 19(2): 391-407 (2020) - [j26]Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric:
Unifying execution of imperative generators and declarative specifications. Proc. ACM Program. Lang. 4(OOPSLA): 217:1-217:26 (2020) - [j25]Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [j24]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. 22(5): 601-615 (2020) - [c163]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. DNA 2020: 4:1-4:25 - [c162]Shikhar Singh, Sarfraz Khurshid:
Parallel Chopped Symbolic Execution. ICFEM 2020: 107-125 - [c161]Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik:
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. ICML 2020: 9701-9711 - [c160]Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
Predictive constraint solving and analysis. ICSE (NIER) 2020: 109-112 - [c159]Shikhar Singh, Marko Vasic, Sarfraz Khurshid:
Designing Neural Networks Using Logical Specs. ISSRE 2020: 160-171 - [c158]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. ISSRE 2020: 391-402 - [c157]Muhammad Usman, Wenxi Wang, Sarfraz Khurshid:
TestMC: Testing Model Counters using Differential and Metamorphic Testing. ASE 2020: 709-721 - [c156]Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid:
A study of the learnability of relational properties: model counting meets machine learning (MCML). PLDI 2020: 1098-1111 - [c155]Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid:
AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE 2020: 1541-1545 - [c154]Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid:
A Study of Symmetry Breaking Predicates and Model Counting. TACAS (1) 2020: 115-134 - [e5]Sarfraz Khurshid, Corina S. Pasareanu:
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. ACM 2020, ISBN 978-1-4503-8008-9 [contents] - [i10]Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik:
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. CoRR abs/2003.13720 (2020)
2010 – 2019
- 2019
- [j23]Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen:
A synergistic approach to improving symbolic execution using test ranges. Innov. Syst. Softw. Eng. 15(3-4): 325-342 (2019) - [j22]Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes 44(4): 15 (2019) - [j21]Jinru Hua, Yushan Zhang, Yuqun Zhang, Sarfraz Khurshid:
EdSketch: execution-driven sketching for Java. Int. J. Softw. Tools Technol. Transf. 21(3): 249-265 (2019) - [c153]Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM 2019: 336-352 - [c152]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
ARepair: a repair framework for alloy. ICSE (Companion Volume) 2019: 103-106 - [c151]Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) 2019: 282-283 - [c150]Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid:
Extension-Aware Automated Testing Based on Imperative Predicates. ICST 2019: 25-36 - [c149]Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Learning to Optimize the Alloy Analyzer. ICST 2019: 228-239 - [c148]Hua Zhong, Lingming Zhang, Sarfraz Khurshid:
TestSage: Regression Test Selection for Large-Scale Web Service Testing. ICST 2019: 430-440 - [c147]Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE 2019: 313-322 - [c146]Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
A framework for writing trigger-action todo comments in executable format. ESEC/SIGSOFT FSE 2019: 385-396 - [c145]Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid:
Learning Guided Enumerative Synthesis for Superoptimization. SPIN 2019: 172-192 - [c144]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. SPIN 2019: 226-243 - [c143]Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid:
Incremental Analysis of Evolving Alloy Models. TACAS (1) 2019: 174-191 - [i9]Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid:
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees. CoRR abs/1906.06717 (2019) - [i8]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRNs Exposed: Systematic Exploration of Chemical Reaction Networks. CoRR abs/1912.06197 (2019) - [i7]Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid:
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). CoRR abs/1912.11580 (2019) - 2018
- [j20]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of anonymization in double-blind review. Commun. ACM 61(6): 30-33 (2018) - [j19]Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid:
A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes 43(4): 55 (2018) - [c142]Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. AAAI Workshops 2018: 775-778 - [c141]Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid:
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ 2018: 105-120 - [c140]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ 2018: 121-136 - [c139]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
: Molecular Programming Language. DNA 2018: 1-18 - [c138]Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang:
Learning to Accelerate Symbolic Execution via Code Transformation. ECOOP 2018: 6:1-6:27 - [c137]Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid:
Towards practical program repair with on-demand candidate generation. ICSE 2018: 12-23 - [c136]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) 2018: 29-32 - [c135]Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid:
EdSynth: Synthesizing API Sequences with Conditionals and Loops. ICST 2018: 161-171 - [c134]Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:
Accelerating Search-Based Program Repair. ICST 2018: 227-238 - [c133]Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic:
Approximate Transformations as Mutation Operators. ICST 2018: 285-296 - [c132]Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid:
AUnit: A Test Automation Tool for Alloy. ICST 2018: 398-403 - [c131]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA 2018: 1-2 - [c130]Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid:
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. ASE 2018: 132-142 - [c129]Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid:
Automated model repair for Alloy. ASE 2018: 577-588 - [c128]Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang:
Using Test Ranges to Improve Symbolic Execution. NFM 2018: 416-434 - [c127]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: 1934-1943 - [c126]Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid:
SketchFix: a tool for automated program repair approach using lazy candidate generation. ESEC/SIGSOFT FSE 2018: 888-891 - [c125]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE 2018: 916-919 - [c124]Sarfraz Khurshid, Darko Marinov:
Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. SQAMIA 2018 - [i6]Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid:
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing. CoRR abs/1802.02295 (2018) - [i5]Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Fault Localization for Declarative Models in Alloy. CoRR abs/1807.08707 (2018) - [i4]Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Deep Neural Networks. CoRR abs/1807.10439 (2018) - [i3]Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric:
Executable Trigger-Action Comments. CoRR abs/1808.01729 (2018) - [i2]Marko Vasic, David Soloveichik, Sarfraz Khurshid:
CRN++: Molecular Programming Language. CoRR abs/1809.07430 (2018) - 2017
- [j18]Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric:
Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. 1(OOPSLA): 94:1-94:25 (2017) - [j17]Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric:
JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [j16]Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid:
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems. IEEE Syst. J. 11(4): 2614-2627 (2017) - [c123]Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi:
Mutation Testing Meets Approximate Computing. ICSE-NIER 2017: 3-6 - [c122]Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang:
A synergistic approach for distributed symbolic execution using test ranges. ICSE (Companion Volume) 2017: 130-132 - [c121]Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid:
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. ICST 2017: 241-252 - [c120]Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Automated Test Generation and Mutation Testing for Alloy. ICST 2017: 264-275 - [c119]Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid:
Boosting spectrum-based fault localization using PageRank. ISSTA 2017: 261-272 - [c118]Jinru Hua, Sarfraz Khurshid:
EdSketch: execution-driven sketching for Java. SPIN 2017: 162-171 - [c117]Nima Dini, Cagdas Yelen, Sarfraz Khurshid:
Optimizing parallel Korat using invalid ranges. SPIN 2017: 182-191 - [c116]Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov:
Evaluating State Modeling Techniques in Alloy. SQAMIA 2017 - [i1]Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis:
Effectiveness of Anonymization in Double-Blind Review. CoRR abs/1709.01609 (2017) - 2016
- [j15]Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov:
Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [j14]Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid:
Towards Exhaustive Testing of Websites using JPF. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c115]Jinru Hua, Sarfraz Khurshid:
A Sketching-Based Approach for Debugging Using Test Cases. ATVA 2016: 463-478 - [c114]Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid:
Certified Symbolic Execution. ATVA 2016: 495-511 - [c113]Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid:
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. ICSME 2016: 453-457 - [c112]Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov:
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. ISSRE 2016: 105-115 - [c111]Hua Zhong, Lingming Zhang, Sarfraz Khurshid:
The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests. NFM 2016: 107-113 - [c110]Hua Zhong, Lingming Zhang, Sarfraz Khurshid:
Combinatorial generation of structurally complex test inputs for commercial software applications. SIGSOFT FSE 2016: 981-986 - [e4]David Lo, Sven Apel, Sarfraz Khurshid:
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. ACM 2016, ISBN 978-1-4503-3845-5 [contents] - 2015
- [j13]Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry:
Understanding the triaging and fixing processes of long lived bugs. Inf. Softw. Technol. 65: 114-128 (2015) - [c109]Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry:
An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. ICSE (1) 2015: 268-279 - [c108]Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid:
Compositional Symbolic Execution with Memoized Replay. ICSE (1) 2015: 632-642 - [c107]Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid:
Studying the influence of standard compiler optimizations on symbolic execution. ISSRE 2015: 205-215 - [c106]Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry:
Are These Bugs Really "Normal"? MSR 2015: 258-268 - [c105]Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory:
Faster bug detection for software product lines with incomplete feature models. SPLC 2015: 151-160 - 2014
- [j12]Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid:
Directed Incremental Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 24(1): 3:1-3:42 (2014) - [c104]Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry:
An empirical study of long lived bugs. CSMR-WCRE 2014: 144-153 - [c103]Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra:
Data-guided repair of selection statements. ICSE 2014: 243-253 - [c102]Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta:
Property differencing for incremental checking. ICSE 2014: 1059-1070 - [c101]Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry:
On the Effectiveness of Information Retrieval Based Bug Localization for C Programs. ICSME 2014: 161-170 - [c100]Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid:
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. ICST 2014: 183-192 - [c99]Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid:
Feedback-driven dynamic invariant discovery. ISSTA 2014: 362-372 - [c98]Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid:
Bounded exhaustive test input generation from hybrid invariants. OOPSLA 2014: 655-674 - [c97]Chad Brubaker, Suman Jana, Baishakhi Ray, Sarfraz Khurshid, Vitaly Shmatikov:
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations. IEEE Symposium on Security and Privacy 2014: 114-129 - [c96]Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov:
Towards a test automation framework for alloy. SPIN 2014: 113-116 - 2013
- [j11]Junaid Haroon Siddiqui, Sarfraz Khurshid:
Scaling symbolic execution using staged analysis. Innov. Syst. Softw. Eng. 9(2): 119-131 (2013) - [j10]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78(3): 270-271 (2013) - [j9]Lingming Zhang, Miryung Kim, Sarfraz Khurshid:
FaultTracer: a spectrum-based approach to localizing failure-inducing program edits. J. Softw. Evol. Process. 25(12): 1357-1383 (2013) - [c95]Yun Young Lee, Sam Harwell, Sarfraz Khurshid, Darko Marinov:
Temporal code completion and navigation. ICSE 2013: 1181-1184 - [c94]Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu:
Memoise: a tool for memoized symbolic execution. ICSE 2013: 1343-1346 - [c93]Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
Faster mutation testing inspired by test prioritization and reduction. ISSTA 2013: 235-245 - [c92]Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid:
Operator-based and random mutant selection: Better together. ASE 2013: 92-102 - [c91]Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias:
Ranger: Parallel analysis of alloy models by range partitioning. ASE 2013: 147-157 - [c90]Ripon K. Saha, Matthew Lease, Sarfraz Khurshid, Dewayne E. Perry:
Improving bug localization using structured information retrieval. ASE 2013: 345-355 - [c89]Lingming Zhang, Lu Zhang, Sarfraz Khurshid:
Injecting mechanical faults to localize developer faults for evolving software. OOPSLA 2013: 765-784 - [c88]Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid:
Repair Abstractions for More Efficient Data Structure Repair. RV 2013: 235-250 - [c87]Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim:
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE 2013: 257-267 - 2012
- [j8]Diego Funes, Junaid Haroon Siddiqui, Sarfraz Khurshid:
Ranged Model Checking. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [c86]Guowei Yang, Sarfraz Khurshid, Miryung Kim:
Specification-Based Test Repair Using a Lightweight Formal Method. FM 2012: 455-470 - [c85]Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry:
Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. ICFEM 2012: 414-429 - [c84]Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid:
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving. ICST 2012: 91-100 - [c83]Muhammad Zubair Malik, Sarfraz Khurshid:
Dynamic Shape Analysis Using Spectral Graph Properties. ICST 2012: 211-220 - [c82]Shounak Roychowdhury, Sarfraz Khurshid:
A family of generalized entropies and its application to software fault localization. IEEE Conf. of Intelligent Systems 2012: 368-373 - [c81]Shounak Roychowdhury, Sarfraz Khurshid:
Localization of faults in software programs using Bernoulli divergences. ISITA 2012: 586-590 - [c80]Chang Hwan Peter Kim, Sarfraz Khurshid, Don S. Batory:
Shared Execution for Efficiently Testing Product Lines. ISSRE 2012: 221-230 - [c79]Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid:
Memoized symbolic execution. ISSTA 2012: 144-154 - [c78]Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
Regression mutation testing. ISSTA 2012: 331-341 - [c77]Divya Gopinath, Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Improving the effectiveness of spectra-based fault localization using specifications. ASE 2012: 40-49 - [c76]Junaid Haroon Siddiqui, Sarfraz Khurshid:
Scaling symbolic execution using ranged analysis. OOPSLA 2012: 523-536 - [c75]Junaid Haroon Siddiqui, Sarfraz Khurshid:
Staged symbolic execution. SAC 2012: 1339-1346 - [c74]Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Test input generation using dynamic programming. SIGSOFT FSE 2012: 34 - [c73]Lingming Zhang, Miryung Kim, Sarfraz Khurshid:
FaultTracer: a change impact and regression fault analysis tool for evolving Java programs. SIGSOFT FSE 2012: 40 - [c72]Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley:
History-Aware Data Structure Repair Using SAT. TACAS 2012: 2-17 - [e3]John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene:
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, ISBN 978-3-642-30884-0 [contents] - [e2]Sarfraz Khurshid, Koushik Sen:
Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7186, Springer 2012, ISBN 978-3-642-29859-2 [contents] - 2011
- [c71]Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid:
Reducing combinatorics in testing product lines. AOSD 2011: 57-68 - [c70]Junaid Haroon Siddiqui, Sarfraz Khurshid:
Symbolic Execution of Alloy Models. ICFEM 2011: 340-355 - [c69]Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser:
Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071 - [c68]Lingming Zhang, Miryung Kim, Sarfraz Khurshid:
Localizing failure-inducing program edits based on spectrum information. ICSM 2011: 23-32 - [c67]Shadi Abdul Khalek, Sarfraz Khurshid:
Systematic Testing of Database Engines Using a Relational Constraint Solver. ICST 2011: 50-59 - [c66]Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid:
Constraint-Based Program Debugging Using Data Structure Repair. ICST 2011: 190-199 - [c65]Shadi Abdul Khalek, Sarfraz Khurshid:
Efficiently Running Test Suites Using Abstract Undo Operations. ISSRE 2011: 110-119 - [c64]Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
An Empirical Study of JUnit Test-Suite Reduction. ISSRE 2011: 170-179 - [c63]Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry:
A case for alloy annotations for efficient incremental analysis via domain specific solvers. ASE 2011: 464-467 - [c62]Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid:
Mixed constraints for test input generation - An initial exploration. ASE 2011: 548-551 - [c61]Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
TestEra: A tool for testing Java programs using alloy specifications. ASE 2011: 608-611 - [c60]Shounak Roychowdhury, Sarfraz Khurshid:
A Novel Framework for Locating Software Faults Using Latent Divergences. ECML/PKDD (3) 2011: 49-64 - [c59]Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid:
Directed incremental symbolic execution. PLDI 2011: 504-515 - [c58]Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid:
Specification-Based Program Repair Using SAT. TACAS 2011: 173-188 - 2010
- [j7]Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory:
Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. 36(3): 309-322 (2010) - [c57]Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry:
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. ASM 2010: 392-393 - [c56]Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Introducing Specification-Based Data Structure Repair Using Alloy. ASM 2010: 398-399 - [c55]Razieh Nokhbeh Zaeem, Sarfraz Khurshid:
Contract-Based Data Structure Repair Using Alloy. ECOOP 2010: 577-598 - [c54]Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov:
Test generation through programming in UDITA. ICSE (1) 2010: 225-234 - [c53]Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry:
Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. ISSRE 2010: 408-417 - [c52]Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid:
Eliminating products to test in a software product line. ASE 2010: 139-142 - [c51]Shadi Abdul Khalek, Sarfraz Khurshid:
Automated SQL query generation for systematic testing of database engines. ASE 2010: 329-332 - [c50]Chang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid:
Reducing Configurations to Monitor in a Software Product Line. RV 2010: 285-299 - [e1]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, ISBN 978-3-642-11810-4 [contents]
2000 – 2009
- 2009
- [c49]Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry:
Semantic Impact and Faults in Source Code Changes: An Empirical Study. Australian Software Engineering Conference 2009: 131-141 - [c48]Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry:
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. FM 2009: 757-772 - [c47]Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry:
Event Listener Analysis and Symbolic Execution for Testing GUI Applications. ICFEM 2009: 69-87 - [c46]Junaid Haroon Siddiqui, Sarfraz Khurshid:
An Empirical Study of Structural Constraint Solving Techniques. ICFEM 2009: 88-106 - [c45]Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid:
Optimizing Generation of Object Graphs in Java PathFinder. ICST 2009: 51-60 - [c44]Junaid Haroon Siddiqui, Sarfraz Khurshid:
PKorat: Parallel Generation of Structurally Complex Test Inputs. ICST 2009: 250-259 - [c43]Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid:
Optimizing a Structural Constraint Solver for Efficient Software Checking. ASE 2009: 615-619 - [c42]Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid:
A Case for Automated Debugging Using Data Structure Repair. ASE 2009: 620-624 - [c41]Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry:
SCA: a semantic conflict analyzer for parallel changes. ESEC/SIGSOFT FSE 2009: 291-292 - 2008
- [c40]Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid:
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS 2008: 36-52 - [c39]Engin Uzuncaova, Sarfraz Khurshid:
Constraint Prioritization for Efficient Analysis of Declarative Models. FM 2008: 310-325 - [c38]Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry:
Test Generation for Graphical User Interfaces Based on Symbolic Execution. AST 2008: 33-40 - [c37]Bassem Elkarablieh, Sarfraz Khurshid:
Juzi: a tool for repairing complex data structures. ICSE 2008: 855-858 - [c36]Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid:
Deryaft: a tool for generating representation invariants of structurally complex data. ICSE 2008: 859-862 - [c35]Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid:
State extensions for java pathfinder. ICSE 2008: 863-866 - [c34]Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
Testing Software Product Lines Using Incremental Test Generation. ISSRE 2008: 249-258 - [c33]Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid:
Efficient solving of structural constraints. ISSTA 2008: 39-50 - [c32]Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid:
Query-Aware Test Generation Using a Relational Constraint Solver. ASE 2008: 238-247 - 2007
- [c31]Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid:
Efficiently Generating Structurally Complex Inputs with Thousands of Objects. ECOOP 2007: 248-272 - [c30]Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid:
Global Optimization of Compositional Systems. FMCAD 2007: 93-100 - [c29]Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid:
Sequential Circuits for Relational Analysis. ICSE 2007: 13-22 - [c28]Engin Uzuncaova, Sarfraz Khurshid:
Kato: A Program Slicing Tool for Declarative Specifications. ICSE 2007: 767-770 - [c27]Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid:
Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE 2007: 771-774 - [c26]Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry:
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. ICSM 2007: 74-83 - [c25]Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang:
Verification of Multi-agent Negotiations Using the Alloy Analyzer. IFM 2007: 501-517 - [c24]Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid:
Assertion-based repair of complex data structures. ASE 2007: 64-73 - [c23]Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid:
Sequential circuits for program analysis. ASE 2007: 114-123 - [c22]Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley:
Starc: static analysis for efficient repair of complex data. OOPSLA 2007: 387-404 - [c21]Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov:
Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE 2007: 135-144 - [c20]Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE 2007: 525-528 - [c19]Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid:
Generating Representation Invariants of Structurally Complex Data. TACAS 2007: 34-49 - 2006
- [j6]Engin Uzuncaova, Sarfraz Khurshid:
Program slicing for declarative models. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - [c18]Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova:
An Automated Approach for Writing Alloy Specifications Using Instances. ISoLA 2006: 449-457 - [c17]Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov:
Analyzing the Uses of a Software Modeling Tool. LDTA@ETAPS 2006: 3-18 - 2005
- [j5]Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington:
Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005) - [j4]David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan:
Software Assurance by Bounded Exhaustive Testing. IEEE Trans. Software Eng. 31(4): 328-339 (2005) - [c16]Sarfraz Khurshid, Yuk Lai Suen:
Generalizing symbolic execution to library classes. PASTE 2005: 103-110 - [c15]Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard:
Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005: 187-202 - [c14]Sarfraz Khurshid, Iván García, Yuk Lai Suen:
Repairing Structurally Complex Data. SPIN 2005: 123-138 - 2004
- [j3]Sarfraz Khurshid, Darko Marinov:
TestEra: Specification-Based Testing of Java Programs Using SAT. Autom. Softw. Eng. 11(4): 403-434 (2004) - [j2]Patrice Godefroid, Sarfraz Khurshid:
Exploring very large state spaces using genetic algorithms. Int. J. Softw. Tools Technol. Transf. 6(2): 117-127 (2004) - [c13]Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid:
Test input generation with java PathFinder. ISSTA 2004: 97-107 - [c12]Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson:
Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142 - 2003
- [b1]Sarfraz Khurshid:
Constraint-based generation of structurally complex tests. Massachusetts Institute of Technology, Cambridge, MA, USA, 2003 - [c11]Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard:
Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33 - [c10]Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson:
A Case for Efficient Solution Enumeration. SAT 2003: 272-286 - [c9]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568 - 2002
- [c8]Darko Marinov, Sarfraz Khurshid:
VAlloy - Virtual Functions Meet a Relational Language. FME 2002: 234-251 - [c7]Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov:
Korat: automated testing based on Java predicates. ISSTA 2002: 123-133 - [c6]Sarfraz Khurshid, Darko Marinov, Daniel Jackson:
An analyzable annotation language. OOPSLA 2002: 231-245 - [c5]Patrice Godefroid, Sarfraz Khurshid:
Exploring Very Large State Spaces Using Genetic Algorithms. TACAS 2002: 266-280 - 2001
- [c4]Darko Marinov, Sarfraz Khurshid:
TestEra: A Novel Framework for Automated Testing of Java Programs. ASE 2001: 22- - [c3]Sarfraz Khurshid:
Testing an Intentional Naming Scheme Using Genetic Algorithms. TACAS 2001: 358-372 - [c2]Sarfraz Khurshid, Darko Marinov:
Checking Java implementation of a naming architecture using Testera. Workshop on Software Model Checking @ CAV 2001: 322-342 - 2000
- [c1]Sarfraz Khurshid, Daniel Jackson:
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE 2000: 13-22
1990 – 1999
- 1999
- [j1]Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid:
Is the Java Type System Sound? Theory Pract. Object Syst. 5(1): 3-24 (1999)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
