The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Abhik Roychoudhury" ( http://dblp.L3S.de/Authors/Abhik_Roychoudhury )

URL (Homepage):  https://www.comp.nus.edu.sg/~abhik/  Author page on DBLP  Author page in RDF  Community of Abhik Roychoudhury in ASPL-2

Publication years (Num. hits)
1995-2002 (17) 2003-2004 (16) 2005-2007 (24) 2008-2009 (18) 2010-2011 (16) 2012-2013 (23) 2014-2016 (25) 2017-2018 (23) 2019 (5)
Publication types (Num. hits)
article(44) book(1) incollection(2) inproceedings(116) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 93 occurrences of 58 keywords

Results
Found 168 publication records. Showing 167 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Abhik Roychoudhury, Yingfei Xiong Automated program repair: a step towards software automation. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury Coverage-Based Greybox Fuzzing as Markov Chain. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guanhua Wang, Sudipta Chattopadhyay 0001, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints. Search on Bibsonomy NDSS The full citation details ... 2019 DBLP  BibTeX  RDF
1Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury Crash-avoiding program repair. Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury A correlation study between automated program repair and test-suite metrics. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury Symbolic Verification of Cache Side-Channel Freedom. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Lee Kee Chong, Clément Ballabriga, Abhik Roychoudhury EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury Smart Greybox Fuzzing. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Guanhua Wang, Sudipta Chattopadhyay 0001, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury oo7: Low-overhead Defense against Spectre Attacks via Binary Analysis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury Symbolic Verification of Cache Side-channel Freedom. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury Test-Equivalence Analysis for Automatic Patch Generation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury Symbolic execution with existential second-order constraints. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury Android testing via synthetic symbolic execution. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, Abhik Roychoudhury Semantic program repair using a reference implementation. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury Repairing crashes in Android apps. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury A correlation study between automated program repair and test-suite metrics. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sunghun Kim 0001, Claire Le Goues, Michael Pradel, Abhik Roychoudhury Automated Program Repair (Dagstuhl Seminar 17022). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury Partitioning Patches into Test-equivalence Classes for Scaling Program Repair. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcel Böhme, Van-Thuan Pham, Manh-Dung Nguyen, Abhik Roychoudhury Directed Greybox Fuzzing. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury Trustworthy Software and Automatic Program Repair. Search on Bibsonomy SoICT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, Yang Liu 0003 (eds.) A Systems Approach to Cyber Security - Proceedings of the 2nd Singapore Cyber-Security R&D Conference (SG-CRC 2017), Singapore, February 21-22, 2017 Search on Bibsonomy SG-CRC The full citation details ... 2017 DBLP  BibTeX  RDF
1Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury A feasibility study of using automated program repair for introductory programming assignments. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Abhik Roychoudhury Future of Mobile Software for Smartphones and Drones: Energy and Performance. Search on Bibsonomy MOBILESoft@ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury Codeflaws: a programming competition benchmark for evaluating automated program repair tools. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury Bucketing Failing Tests via Symbolic Analysis. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Sudipta Chattopadhyay 0001, Abhik Roychoudhury On Testing Embedded Software. Search on Bibsonomy Advances in Computers The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, Satish Chandra 0001 Formula-based software debugging. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcel Böhme, Van-Thuan Pham, Abhik Roychoudhury Coverage-based Greybox Fuzzing as Markov Chain. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aditya Mathur, Abhik Roychoudhury (eds.) Proceedings of the Singapore Cyber-Security Conference (SG-CRC) 2016 - Cyber-Security by Design, Singapore, January 14-15, 2016. Search on Bibsonomy SG-CRC The full citation details ... 2016 DBLP  BibTeX  RDF
1Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury Anti-patterns in search-based program repair. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Zeller, Abhik Roychoudhury (eds.) Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016 Search on Bibsonomy ISSTA 2016 The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury Model-based whitebox fuzzing for program binaries. Search on Bibsonomy ASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury SemFix and beyond: semantic techniques for program repair. Search on Bibsonomy ForMABS@ASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury Debugging energy-efficiency related field failures in mobile apps. Search on Bibsonomy MOBILESoft The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Abhik Roychoudhury Automated re-factoring of Android apps to enhance energy-efficiency. Search on Bibsonomy MOBILESoft The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Konstantin Rubinov, Lucia Rosculete, Tulika Mitra, Abhik Roychoudhury Automated partitioning of android applications for trusted execution environments. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury Angelix: scalable multiline program patch synthesis via symbolic analysis. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury Software Change Contracts. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury DirectFix: Looking for Simple Program Repairs. Search on Bibsonomy ICSE (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shin Hwei Tan, Abhik Roychoudhury relifix: Automated Repair of Software Regressions. Search on Bibsonomy ICSE (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Van-Thuan Pham, Wei Boon Ng, Konstantin Rubinov, Abhik Roychoudhury Hercules: Reproducing Crashes in Real-World Application Binaries. Search on Bibsonomy ICSE (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury, Jakob Rosen, Petru Eles, Zebo Peng Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization. Search on Bibsonomy Foundations and Trends in Electronic Design Automation The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay 0001, Abhik Roychoudhury Static analysis of multi-core TDMA resource arbitration delays. Search on Bibsonomy Real-Time Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk A Unified WCET analysis framework for multicore platforms. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury Cache-Related Preemption Delay Analysis for Multilevel Noninclusive Caches. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury Cache-related preemption delay analysis for FIFO caches. Search on Bibsonomy LCTES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Abhik Roychoudhury Energy-aware design patterns for mobile application development (invited talk). Search on Bibsonomy DeMobile@SIGSOFT FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay 0001, Abhik Roychoudhury Detecting energy bugs and hotspots in mobile apps. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcel Böhme, Abhik Roychoudhury CoREBench: studying complexity of regression errors. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tien-Duy B. Le, Jooyong Yi, David Lo 0001, Ferdian Thung, Abhik Roychoudhury Dynamic Inference of Change Contracts. Search on Bibsonomy ICSME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira Regression Testing of Evolving Programs. Search on Bibsonomy Advances in Computers The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury Scalable and precise refinement of cache timing analysis via path-sensitive verification. Search on Bibsonomy Real-Time Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury Path exploration based on symbolic output. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Lee Kee Chong, Abhik Roychoudhury Program performance spectrum. Search on Bibsonomy LCTES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury Regression tests to expose change interaction errors. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay 0001, Abhik Roychoudhury Integrated Timing Analysis of Application and Operating Systems Code. Search on Bibsonomy RTSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Sudipta Chattopadhyay 0001, Abhik Roychoudhury Static Analysis Driven Cache Performance Testing. Search on Bibsonomy RTSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury Expressing and checking intended changes via software change contracts. Search on Bibsonomy ISSTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Abhijeet Banerjee, Sudipta Chattopadhyay 0001, Abhik Roychoudhury Precise micro-architectural modeling for WCET analysis via AI+SAT. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury Past expression: encapsulating pre-states at post-conditions by means of AOP. Search on Bibsonomy AOSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra 0001 SemFix: program repair via semantic analysis. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury Partition-based regression verification. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty Performance debugging of Esterel specifications. Search on Bibsonomy Real-Time Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yun Liang 0001, Huping Ding, Tulika Mitra, Abhik Roychoudhury, Yan Li 0012, Vivy Suhendra Timing analysis of concurrent programs running on shared cache multi-cores. Search on Bibsonomy Real-Time Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhiming Liu 0001, Abhik Roychoudhury Relating software validation to technology trends. Search on Bibsonomy STTT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani DARWIN: An approach to debugging evolving programs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, Ankit Goel, Bikram Sengupta Symbolic Message Sequence Charts. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, Meenakshi D'Souza (eds.) Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings Search on Bibsonomy ICTAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dawei Qi, William N. Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang 0001, Abhik Roychoudhury Modeling Software Execution Environment. Search on Bibsonomy WCRE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Lei Ju, Bikram Sengupta, Abhik Roychoudhury Tenant Onboarding in Evolving Multi-tenant Software-as-a-Service Systems. Search on Bibsonomy ICWS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Jooyong Yi, Abhik Roychoudhury Software change contracts. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Lee Kee Chong, Abhik Roychoudhury, Timon Kelter, Peter Marwedel, Heiko Falk A Unified WCET Analysis Framework for Multi-core Platforms. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo 0001 Inferring class level specifications for distributed systems. Search on Bibsonomy ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury Static bus schedule aware scratchpad allocation in multiprocessors. Search on Bibsonomy LCTES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury Locating failure-inducing environment changes. Search on Bibsonomy PASTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Timon Kelter, Heiko Falk, Peter Marwedel, Sudipta Chattopadhyay 0001, Abhik Roychoudhury Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds. Search on Bibsonomy ECRTS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury Path exploration based on symbolic output. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bernard Blackham, Yao Shi, Sudipta Chattopadhyay 0001, Abhik Roychoudhury, Gernot Heiser Timing Analysis of a Protected Operating System Kernel. Search on Bibsonomy RTSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury Scalable and Precise Refinement of Cache Timing Analysis via Model Checking. Search on Bibsonomy RTSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bach Khoa Huynh, Lei Ju, Abhik Roychoudhury Scope-Aware Data Cache Analysis for WCET Estimation. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo 0001 Mining message sequence graphs. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bikram Sengupta, Abhik Roychoudhury Engineering multi-tenant software-as-a-service systems. Search on Bibsonomy PESOS@ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury Debugging as a Science, that too, when your Program is Changing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra Scratchpad allocation for concurrent embedded software. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Arnab De, Abhik Roychoudhury, Deepak D'Souza WOMM: A Weak Operational Memory Model. Search on Bibsonomy ISoLA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury, Tulika Mitra Modeling shared cache and bus in multi-cores for timing analysis. Search on Bibsonomy SCOPES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang Golden implementation driven software debugging. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Abhik Roychoudhury, Zhenkai Liang Test generation to expose changes in evolving programs. Search on Bibsonomy ASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty Timing analysis of esterel programs on general-purpose multiprocessors. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multiprocessor, timing analysis, synchronous language, esterel
1Lei Ju, Yun Liang 0001, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury Cache-aware optimization of BAN applications. Search on Bibsonomy Design Autom. for Emb. Sys. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele Cache-aware timing analysis of streaming applications. Search on Bibsonomy Real-Time Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Timing analysis, Instruction cache, Streaming applications
1Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan Interacting process classes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Abstract execution, Unified Modeling Language (UML), message sequence charts, active objects
1Abhik Roychoudhury Embedded Systems and Software Validation. Search on Bibsonomy 2009   RDF
1Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong Fair Model Checking with Process Counter Abstraction. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani Darwin: an approach for debugging evolving programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF debugging, software evolution, symbolic execution
1Yan Li 0012, Vivy Suhendra, Yun Liang 0001, Tulika Mitra, Abhik Roychoudhury Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. Search on Bibsonomy RTSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sudipta Chattopadhyay 0001, Abhik Roychoudhury Unified Cache Modeling for WCET Analysis and Layout Optimizations. Search on Bibsonomy RTSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 167 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license