Search results for "Fixing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Yingfei Xiong 0001, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei 0001	Supporting automatic model inconsistency fixing.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	beanbag, inconsistency fixing, ocl, model consistency
80	Kazuteru Namba, Yoshikazu Matsui, Hideo Ito	Test Compression for IP Core Testing with Reconfigurable Network and Fixing-Flipping Coding.	J. Electron. Test.	2009	DBLP DOI BibTeX RDF	IP core testing, Fixing-flipping coding, Fixing-shifting-flipping coding, Test compression, Reconfigurable network
79	Ariel Gabizon, Ran Raz, Ronen Shaltiel	Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed.	FOCS	2004	DBLP DOI BibTeX RDF
66	Andrea Arcuri	On the automation of fixing software bugs.	ICSE Companion	2008	DBLP DOI BibTeX RDF	automatic bug fixing, genetic programming, co-evolution, automated debugging, repair
42	Zhe-Wei Jiang, Yao-Wen Chang	An Optimal Network-Flow-Based Simultaneous Diode and Jumper Insertion Algorithm for Antenna Fixing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
42	Zhe-Wei Jiang, Yao-Wen Chang	An optimal simultaneous diode/jumper insertion algorithm for antenna fixing.	ICCAD	2006	DBLP DOI BibTeX RDF
38	Yi Wei 0001, Yu Pei 0001, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer 0001, Andreas Zeller	Automated fixing of programs with contracts.	ISSTA	2010	DBLP DOI BibTeX RDF	automatic debugging, automatic fixing, dynamic invariants, program synthesis
33	Thomas Fischer 0003, Peter Merz	Reducing the Size of Travelling Salesman Problem Instances by Fixing Edges.	Recent Advances in Evolutionary Computation for Combinatorial Optimization	2008	DBLP DOI BibTeX RDF	Travelling Salesman Problem, Minimum Spanning Tree, Nearest Neighbour, Search Space Reduction
33	Chiara Francalanci, Francesco Merlo	Empirical Analysis of the Bug Fixing Process in Open Source Projects. (PDF / PS)	OSS	2008	DBLP DOI BibTeX RDF	Open Source Software debugging process quality
33	Bor-Yiing Su, Yao-Wen Chang	An Optimal Jumper-Insertion Algorithm for Antenna Avoidance/Fixing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
33	Bor-Yiing Su, Yao-Wen Chang, Jiang Hu	An Exact Jumper-Insertion Algorithm for Antenna Violation Avoidance/Fixing Considering Routing Obstacles.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
33	Volker Kaibel, Matthias Peinhardt, Marc E. Pfetsch	Orbitopal Fixing.	IPCO	2007	DBLP DOI BibTeX RDF
33	Bor-Yiing Su, Yao-Wen Chang, Jiang Hu	An optimal jumper insertion algorithm for antenna avoidance/fixing on general routing trees with obstacles.	ISPD	2006	DBLP DOI BibTeX RDF	jumper insertion, antenna effect
33	Christian Beder, Richard Steffen	Determining an Initial Image Pair for Fixing the Scale of a 3D Reconstruction from an Image Sequence.	DAGM-Symposium	2006	DBLP DOI BibTeX RDF
33	Bor-Yiing Su, Yao-Wen Chang	An exact jumper insertion algorithm for antenna effect avoidance/fixing.	DAC	2005	DBLP DOI BibTeX RDF	jumper insertion, antenna effect
33	Wei Li 0023, Chaowen Yu, Sudhakar M. Reddy, Irith Pomeranz	A scan BIST generation method using a markov source and partial bit-fixing.	DAC	2003	DBLP DOI BibTeX RDF	testing, BIST, markov
33	Meinolf Sellmann, Georg Kliewer, Achim Koberstein	Lagrangian Cardinality Cuts and Variable Fixing for Capacitated Network Design.	ESA	2002	DBLP DOI BibTeX RDF
33	Meinolf Sellmann, Torsten Fahle	Coupling Variable Fixing Algorithms for the Automatic Recording Problem.	ESA	2001	DBLP DOI BibTeX RDF
33	Yannick Vimont, Sylvain Boussier, Michel Vasquez	Reduced costs propagation in an efficient implicit enumeration for the 01 multidimensional knapsack problem.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Implicit enumeration, Variable fixing, Reduced costs, Constraint propagation, Multidimensional knapsack problem
33	Torsten Fahle, Karsten Tiemann	A faster branch-and-bound algorithm for the test-cover problem based on set-covering techniques.	ACM J. Exp. Algorithmics	2006	DBLP DOI BibTeX RDF	test-cover problem, variable fixing, Branch-and-bound, Lagrangian relaxation, set-cover problem
33	Rüdiger Westermann, Leif Kobbelt, Thomas Ertl	Real-time exploration of regular volume data by adaptive reconstruction of isosurfaces.	Vis. Comput.	1999	DBLP DOI BibTeX RDF	Isosurface reconstruction, Crack fixing, Refinement oracles, Volume Rendering, Level of detail
30	Mario Chater, Luc Arrondel, Jean-Pascal Gayant, Jean-François Laslier	Fixing match-fixing: Optimal schedules to promote competitiveness.	Eur. J. Oper. Res.	2021	DBLP DOI BibTeX RDF
30	Daniel Izquierdo-Cortazar, Andrea Capiluppi, Jesús M. González-Barahona	Are Developers Fixing Their Own Bugs?: Tracing Bug-Fixing and Bug-Seeding Committers.	Int. J. Open Source Softw. Process.	2011	DBLP DOI BibTeX RDF
30	Jing Wang 0084, John M. Carroll 0001	Beyond fixing bugs: case studies of creative collaboration in open source software bug fixing processes.	Creativity & Cognition	2011	DBLP DOI BibTeX RDF
28	Niko Popitsch, Bernhard Haslhofer	DSNotify: handling broken links in the web of data.	WWW	2010	DBLP DOI BibTeX RDF	instance matching, link integrity, blocking, linked data, broken links
28	David F. Bacon, Yiling Chen 0001, David C. Parkes, Malvika Rao	A market-based approach to software evolution.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	software correctness, mechanism design, markets
28	Scott Yilek, Eric Rescorla, Hovav Shacham, Brandon Enright, Stefan Savage	When private keys are public: results from the 2008 Debian OpenSSL vulnerability.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	debian, openssl, entropy, survey, attacks, prng
28	Leslie Ikemoto, Okan Arikan, David A. Forsyth	Knowing when to put your foot down.	SI3D	2006	DBLP DOI BibTeX RDF	foot plant detection, footskate, motion synthesis
24	Dennis Jeffrey, Min Feng 0001, Neelam Gupta, Rajiv Gupta 0001	BugFix: A learning-based tool to assist developers in fixing bugs.	ICPC	2009	DBLP DOI BibTeX RDF
24	Tsutomu Kumazawa, Tetsuo Tamai	Iterative Model Fixing with Counterexamples.	APSEC	2008	DBLP DOI BibTeX RDF
24	Tian Chen, Huaguo Liang, Minsheng Zhang, Wei Wang 0310	A Scheme of Test Pattern Generation Based on Reseeding of Segment-Fixing Counter.	ICYCS	2008	DBLP DOI BibTeX RDF
24	Matthias Klärner, Jürgen Leopold, Lothar Kroll	Analysis of Clamping within a Fixing System.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Clamping Force, Grinding, Finite Element Method, Fixture
24	Thomas Fischer 0003, Peter Merz	Reducing the Size of Traveling Salesman Problem Instances by Fixing Edges.	EvoCOP	2007	DBLP DOI BibTeX RDF
24	Derek Rayside, Lucy Mendel	Object ownership profiling: a technique for finding and fixing memory leaks.	ASE	2007	DBLP DOI BibTeX RDF	object ownership, java, memory leaks
24	Alexander Egyed	Fixing Inconsistencies in UML Design Models.	ICSE	2007	DBLP DOI BibTeX RDF
24	Jean-Michel Dalle, Matthijs den Besten	Different Bug Fixing Regimes? A Preliminary Case for Superbugs. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF
24	Bilge Bilgen	An Iterative Fixing Variable Heuristic for Solving a Combined Blending and Distribution Planning Problem.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
24	Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko	Fixing Inconsistent Databases by Updating Numerical Attributes.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
24	Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana	Web Site Accessibility: Identifying and Fixing Accessibility Problems in Client Page Code.	WSE	2005	DBLP DOI BibTeX RDF
24	Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko	Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints.	DBPL	2005	DBLP DOI BibTeX RDF
24	James D. Currie, Cameron W. Pierce	The Fixing Block Method in Combinatorics on Words.	Comb.	2003	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05-XX, 68Q45
24	Nur A. Touba, Edward J. McCluskey	Bit-fixing in pseudorandom sequences for scan BIST.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
24	Daniel D. Morris, Ken-ichi Kanatani, Takeo Kanade	Gauge Fixing for Accurate 3D Estimation.	CVPR (2)	2001	DBLP DOI BibTeX RDF
23	Vidroha Debroy, W. Eric Wong	Using Mutation to Automatically Suggest Fixes for Faulty Programs.	ICST	2010	DBLP DOI BibTeX RDF	fault-fixing, software testing, program debugging, fault localization, mutation
23	Loris Gaio, Matthijs den Besten, Alessandro Rossi 0001, Jean-Michel Dalle	Wikibugs: using template messages in open content collections.	Int. Sym. Wikis	2009	DBLP DOI BibTeX RDF	bug fixing, commons based peer production, template messages, coordination, Wiki, quality, Wikipedia, survival analysis
23	Valentin Dallmeier, Andreas Zeller, Bertrand Meyer 0001	Generating Fixes from Object Behavior Anomalies.	ASE	2009	DBLP DOI BibTeX RDF	object usage patterns, debugging, fixing
23	Jürgen Leopold	Clamping Modeling - State-of-the-Art and Future Trends.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Clamping, FE-Analysis, Simulation, Modeling, Fixing, Multiphysics
23	James Howison, Keisuke Inoue, Kevin Crowston	Social dynamics of free and open source team communications. (PDF / PS)	OSS	2006	DBLP DOI BibTeX RDF	FLOSS teams, bug fixing, longitudinal social network analysis, communications, Software Development, Human Factors, Dynamic social networks
23	Kimberly Williams	Using object oriented analysis and design in a non-object oriented environment experience report.	ICSM	1995	DBLP DOI BibTeX RDF	control system analysis computing, nonobject oriented environment, subsystem development, independent test, Allen-Bradley's 6200 Series Programming Software for Programmable Controllers, structured analysis/structured design subsystems, function point number, code line number, subsystem function number, defect number, defect fixing time, complexity, metrics, software maintenance, software metrics, programming environments, program testing, object oriented design, object-oriented methods, object oriented analysis, structured programming, programmable controllers, control system CAD, development time, Object Modeling Technique
23	Aviad Cohen 0001, Avi Wigderson	Dispersers, Deterministic Amplification, and Weak Random Sources (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	weak bit fixing sources, RP algorithm, BPP algorithm, deterministic amplification, bipartite multigraphs, probabilistic algorithms, dispersers, error probability, weak random sources
18	Olga Baysal, Michael W. Godfrey, Robin Cohen	A bug you like: A framework for automated assignment of bugs.	ICPC	2009	DBLP DOI BibTeX RDF
18	Jorge Aranda, Gina Venolia	The secret life of bugs: Going past the errors and omissions in software repositories.	ICSE	2009	DBLP DOI BibTeX RDF
18	Bruno Rossi 0001, Barbara Russo, Giancarlo Succi	Analysis of Open Source Software Development Iterations by Means of Burst Detection Techniques. (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
18	Zude Li, Mechelle Gittens, Syed Shariyar Murtaza, Nazim H. Madhavji, Andriy V. Miranskyy, David Godwin, Enzo Cialini	Analysis of pervasive multiple-component defects in a large software system.	ICSM	2009	DBLP DOI BibTeX RDF
18	Manki Min	A Simple Yet Effective Diversifying Improvement of the Minimum Power Multicast Tree Algorithms in Wireless Ad Hoc Networks.	WASA	2008	DBLP DOI BibTeX RDF
18	Feng Min, Liang Lin, Nong Sang	An empirical study of facial components classification by integrating dimensionality reduction and clustering.	ICPR	2008	DBLP DOI BibTeX RDF
18	Lian Yu, Changzhu Kong, Lei Xu, Jingtao Zhao, HuiHui Zhang	Mining Bug Classifier and Debug Strategy Association Rules for Web-Based Applications.	ADMA	2008	DBLP DOI BibTeX RDF	bug mining, bug classification, debug strategy, Chi-square algorithm, SVM, association rule
18	Richard Labib, Reza Assadi	Modified multi-layered perceptron applied to packing and covering problems.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Fixed weights, Modified input functions, Packing and covering, Back-propagation, Multi-layered perceptron
18	Li Zhang 0003, Steven M. Seitz	Estimating Optimal Parameters for MRF Stereo from a Single Image Pair.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Markov Random Fields, Stereo matching, parameter setting
18	Jonathan F. Bard, Hadi W. Purnomo	Cyclic preference scheduling of nurses using a Lagrangian-based heuristic.	J. Sched.	2007	DBLP DOI BibTeX RDF	Preference scheduling, Nurse rostering, Lagrangian relaxation, Cyclic scheduling, Bundle method
18	Lerina Aversano, Luigi Cerulo, Massimiliano Di Penta	How Clones are Maintained: An Empirical Study.	CSMR	2007	DBLP DOI BibTeX RDF
18	Konrad Iwanicki, Maarten van Steen	Towards a Versatile Problem Diagnosis Infrastructure for LargeWireless Sensor Networks.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
18	Qing Wang 0001, Lang Gou, Nan Jiang 0001, Meiru Che, Ronghui Zhang, Yun Yang 0001, Mingshu Li 0001	An Empirical Study on Establishing Quantitative Management Model for Testing Process.	ICSP	2007	DBLP DOI BibTeX RDF	Quantitative process management, Process performance baseline, Software measurement, Testing process
18	Cathrin Weiß, Rahul Premraj, Thomas Zimmermann 0001, Andreas Zeller	How Long Will It Take to Fix This Bug?	MSR	2007	DBLP DOI BibTeX RDF
18	Qing K. Zhu, Paige Kolze	Metal Fix and Power Network Repair for SOC.	ISVLSI	2006	DBLP DOI BibTeX RDF
18	Chia-Jung Lee, Chi-Jen Lu, Shi-Chun Tsai	Deterministic Extractors for Independent-Symbol Sources.	ICALP (1)	2006	DBLP DOI BibTeX RDF
18	Westley Weimer	Patches as better bug reports.	GPCE	2006	DBLP DOI BibTeX RDF	localization, error, explanation, patch, bug, counterexample, bug report
18	Manuvir Das	Unleashing the Power of Static Analysis.	SAS	2006	DBLP DOI BibTeX RDF
18	Li Zhang 0003, Steven M. Seitz	Parameter Estimation for MRF Stereo.	CVPR (2)	2005	DBLP DOI BibTeX RDF
18	G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert	Network Element Testing Using TTCN-3: Benefits and Comparison.	SDL Forum	2005	DBLP DOI BibTeX RDF
18	G. Sajith, Sanjeev Saxena	Local Nature of Brooks' Colouring for Degree 3 Graphs.	Graphs Comb.	2003	DBLP DOI BibTeX RDF
18	A. J. Feelders, Martijn Pardoel	Pruning for Monotone Classification Trees.	IDA	2003	DBLP DOI BibTeX RDF
18	Yevgeniy Dodis	New Imperfect Random Source with Applications to Coin-Flipping.	ICALP	2001	DBLP DOI BibTeX RDF
18	Madhavi Karkala, Nur A. Touba, Hans-Joachim Wunderlich	Special ATPG to Correlate Test Patterns for Low-Overhead Mixed-Mode BIST.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
15	Stanimir Mollov, Oded Yaniv	Fixing Measured Frequency Response Near Underdamped Dynamics for Loaded-Motor Feedback Design.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
15	Nerla Jean-Louis, Yunqi Li 0002, Yan Ji, Harjasleen Malvai, Thomas Yurek, Sylvain Bellemare, Andrew Miller 0001	SGXonerate:Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE.	Proc. Priv. Enhancing Technol.	2024	DBLP DOI BibTeX RDF
15	Lin Wang 0026, Chengfeng Liao, Runzhao Yao, Rui Zhang, Wanxu Zhang, Xiaoxuan Chen, Na Meng 0002, Zenghui Yan, Bo Jiang, Cheng Liu	Fixing algorithm of Kinect depth image based on non-local means.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
15	Leila Yousofvand, Seyfollah Soleimani, Vahid Rafe, Sajad Esfandyari	Automatic program bug fixing by focusing on finding the shortest sequence of changes.	Artif. Intell. Rev.	2024	DBLP DOI BibTeX RDF
15	Yuanjing Luo, Tongqing Zhou, Shenglan Cui, Yunfan Ye, Fang Liu 0002, Zhiping Cai	Fixing the Double Agent Vulnerability of Deep Watermarking: A Patch-Level Solution Against Artwork Plagiarism.	IEEE Trans. Circuits Syst. Video Technol.	2024	DBLP DOI BibTeX RDF
15	Christina Graves, Lindsey-Kay Lauderdale	Fixing Numbers of Graphs with Symmetric and Generalized Quaternion Symmetry Groups.	Graphs Comb.	2024	DBLP DOI BibTeX RDF
15	Berkay Berabi, Alexey Gronskiy, Veselin Raychev, Gishor Sivanrupan, Victor Chibotaru, Martin T. Vechev	DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
15	Kundan Krishna, Sanjana Ramprasad, Prakhar Gupta, Byron C. Wallace, Zachary C. Lipton, Jeffrey P. Bigham	GenAudit: Fixing Factual Errors in Language Model Outputs with Evidence.	CoRR	2024	DBLP DOI BibTeX RDF
15	Yu Nong, Mohammed Aldeen, Long Cheng 0005, Hongxin Hu, Feng Chen, Haipeng Cai	Chain-of-Thought Prompting of Large Language Models for Discovering and Fixing Software Vulnerabilities.	CoRR	2024	DBLP DOI BibTeX RDF
15	Carol Hanna, David Clark 0001, Federica Sarro, Justyna Petke	Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications.	CoRR	2024	DBLP DOI BibTeX RDF
15	Francesco Salzano, Simone Scalabrino, Rocco Oliveto, Remo Pareschi	Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices.	CoRR	2024	DBLP DOI BibTeX RDF
15	Ivan Tan, Christopher M. Poskitt	Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring.	CoRR	2024	DBLP DOI BibTeX RDF
15	Arka Pal, Deep Karkhanis, Samuel Dooley, Manley Roberts, Siddartha Naidu, Colin White	Smaug: Fixing Failure Modes of Preference Optimisation with DPO-Positive.	CoRR	2024	DBLP DOI BibTeX RDF
15	Pawel Lorek, Moti Yung, Filip Zagórski	Mirrored Commitment: Fixing "Randomized Partial Checking" and Applications.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
15	Pawel Lorek, Moti Yung, Filip Zagórski	Mirrored Commitment: Fixing "Randomized Partial Checking" and Applications.	ACNS (3)	2024	DBLP DOI BibTeX RDF
15	Ivan Tan, Christopher M. Poskitt	Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring.	SIGCSE (1)	2024	DBLP DOI BibTeX RDF
15	Brij Howard-Sarin	The Future of the Error Message: Comparing Large Language Models and Novice Programmer Effectiveness in Fixing Errors.	SIGCSE (2)	2024	DBLP DOI BibTeX RDF
15	Lassi Meronen, Martin Trapp 0001, Andrea Pilzer, Le Yang, Arno Solin	Fixing Overconfidence in Dynamic Neural Networks.	WACV	2024	DBLP DOI BibTeX RDF
15	Thomas Di Martino, Régis Guinvarc'h, Laetitia Thirion-Lefevre, Elise Colin Koeniguer	FARMSAR: Fixing AgRicultural Mislabels Using Sentinel-1 Time Series and AutoencodeRs.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
15	Aaron Johnson 0001, Aaron D. Jaggard, Paul Syverson	Throwing Your Weight Around: Fixing Tor's Positional Weighting.	Proc. Priv. Enhancing Technol.	2023	DBLP DOI BibTeX RDF
15	Tatsuya Sakuma, Takuya Kiyokawa, Takamitsu Matsubara, Jun Takamatsu, Takahiro Wada, Tsukasa Ogasawara	Jamming Gripper-Inspired Soft Jig for Perceptive Parts Fixing.	IEEE Access	2023	DBLP DOI BibTeX RDF
15	Raine Nieminen, Thomas Schneider 0003	Breaking and Fixing Garbled Circuits When a Gate has Duplicate Input Wires.	J. Cryptol.	2023	DBLP DOI BibTeX RDF
15	Junwei Du, Xinshuang Ren, Haojie Li, Feng Jiang, Xu Yu 0001	Prediction of bug-fixing time based on distinguishable sequences fusion in open source software.	J. Softw. Evol. Process.	2023	DBLP DOI BibTeX RDF
15	Ying Wei, Lili Bo, Xiaojun Wu 0001, Yue Li, Zhenlei Ye, Xiaobing Sun 0001, Bin Li 0006	VulRep: vulnerability repair based on inducing commits and fixing commits.	EURASIP J. Wirel. Commun. Netw.	2023	DBLP DOI BibTeX RDF
15	Camille Juigné, Olivier Dameron, François Moreews, Florence Gondret, Emmanuelle Becker	Fixing molecular complexes in BioPAX standards to enrich interactions and detect redundancies using semantic web technologies.	Bioinform.	2023	DBLP DOI BibTeX RDF
15	Toufique Ahmed, Noah Rose Ledesma, Premkumar T. Devanbu	SynShine: Improved Fixing of Syntax Errors.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF