Deterministic Record-and-Replay.

Συγγραφείς: Quinn, Andrew, Alvaro, Peter

Πηγή: Communications of the ACM; May2025, Vol. 68 Issue 5, p32-34, 3p

Θεματικοί όροι: DEFECT tracking (Computer software development), COMPUTER programming, COMPUTER debugging software, INTERNET servers, CLOUD computing, GRAPHICS processing units, MACHINE learning

Cluster Restoration-Based Trace Signal Selection for Post-Silicon Debug.

Συγγραφείς: Cheng, Yun¹ chengyun@ict.ac.cn, Li, Huawei¹ lihuawei@ict.ac.cn, Wang, Ying¹ wangying2009@ict.ac.cn, Li, Xiaowei¹ lxw@ict.ac.cn

Πηγή: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Apr2019, Vol. 38 Issue 4, p767-779. 13p.

Θεματικοί όροι: COMPUTER debugging software, DEBUGGING, COMPUTER workstation clusters, LOGIC circuits

Reviews & Products: MICROSOFT Windows (Operating system)

FPA-FL: Incorporating static fault-proneness analysis into statistical fault localization.

Συγγραφείς: Feyzi, Farid¹ farid_feyzi@comp.iust.ac.ir, Parsa, Saeed¹ Parsa@iust.ac.ir

Πηγή: Journal of Systems & Software. Feb2018, Vol. 136, p39-58. 20p.

Θεματικοί όροι: *SCALABILITY, COMPUTER debugging software, COMPUTER software testing

Anomaly Detection in Images With Smooth Background via Smooth-Sparse Decomposition.

Συγγραφείς: Yan, Hao¹ (AUTHOR) yanhao@gatech.edu, Paynabar, Kamran¹ (AUTHOR), Shi, Jianjun¹ (AUTHOR)

Πηγή: Technometrics. Feb2017, Vol. 59 Issue 1, p102-114. 13p.

Θεματικοί όροι: ANOMALY detection (Computer security), COMPUTER debugging software, REGRESSION analysis data processing, IMAGE analysis, WAVELETS (Mathematics), EQUIPMENT & supplies

Fault diagnosis model based on Bayesian network considering information uncertainty and its application in traction power supply system.

Συγγραφείς: Lin, Sheng¹ slin@swjtu.edu.cn, Chen, Xiyang¹, Wang, Qi¹

Πηγή: IEEJ Transactions on Electrical & Electronic Engineering. May2018, Vol. 13 Issue 5, p671-680. 10p.

Θεματικοί όροι: *COMPUTER debugging software, *BAYESIAN analysis, *MONTE Carlo method software, *TRACTION power supplies, *SIMULATION methods & models, *COMPUTER software

Lessons from Building Static Analysis Tools at Google.

Συγγραφείς: SADOWSKI, CAITLIN, AFTANDILIAN, EDWARD, EAGLE, ALEX, MILLER-CUSHON, LIAM, JASPAN, CIERA

Πηγή: Communications of the ACM; Apr2018, Vol. 61 Issue 4, p58-66, 9p, 1 Color Photograph

Θεματικοί όροι: COMPUTER software development, COMPUTER software quality control, DEBUGGING, COMPUTER debugging software

Εταιρία/Οντότητα: GOOGLE Inc.

Empirical Studies of a Two-Stage Data Preprocessing Approach for Software Fault Prediction.

Συγγραφείς: Liu, Wangshu¹, Liu, Shulong¹, Gu, Qing¹, Chen, Jiaqiang¹, Chen, Xiang², Chen, Daoxu¹

Πηγή: IEEE Transactions on Reliability. Mar2016, Vol. 65 Issue 1, p38-53. 16p.

Θεματικοί όροι: *EMPIRICAL research, *DATA analysis, COMPUTER debugging software, PREDICTION models, FEATURE selection

Outsourcing Responsibility.

Συγγραφείς: Neville-Neil, George V.¹ kv@acm.org

Πηγή: Communications of the ACM. Oct2014, Vol. 57 Issue 10, p28-29. 2p.

Θεματικοί όροι: *SOFTWARE reliability, *INTEGRATED software, *COMPUTER programming, OUTSOURCING management, COMPUTER debugging software, RESPONSIBILITY, ERROR messages (Computer science), ADVICE, EQUIPMENT & supplies

End-user abstractions for meta-control: Reifying the reflectogram.

Συγγραφείς: Papoulias, N.^1,2 npapoylias@gmail.com, Denker, M.³, Ducasse, S.³, Fabresse, L.⁴

Πηγή: Science of Computer Programming. Jun2017, Vol. 140, p2-16. 15p.

Θεματικοί όροι: *OBJECT-oriented programming languages, *COMPUTER debugging software, *SOFTWARE development tools, *END-user computing, *SEMANTICS

A HW/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems.

Συγγραφείς: Bartsch, Christian¹, Villarraga, Carlos¹ villarraga@eit.uni-kl.de, Stoffel, Dominik¹, Kunz, Wolfgang¹

Πηγή: Journal of Electronic Testing. Feb2017, Vol. 33 Issue 1, p77-92. 16p.

Θεματικοί όροι: *EMBEDDED computer systems, *COMPUTER debugging software, *ERROR detection (Information theory), *LOGIC circuits, *COMPUTER software testing, *DEFECT tracking (Computer software development)

STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution.

Συγγραφείς: Chen, Ning¹, Kim, Sunghun¹

Πηγή: IEEE Transactions on Software Engineering. Feb2015, Vol. 41 Issue 2, p198-220. 23p.

Θεματικοί όροι: *OPEN source software, *SCALABILITY, SOFTWARE failures, COMPUTER debugging software, SYSTEM failures

An imperfect software debugging model considering log-logistic distribution fault content function.

Συγγραφείς: Jinyong Wang¹ Wangjinyong818@163.com, Zhibo Wu¹ wzb@ftcl.hit.edu.cn, Yanjun Shu¹ syj@ftcl.hit.edu.cn, Zhan Zhang¹ zz@ftcl.hit.edu.cn

Πηγή: Journal of Systems & Software. Feb2015, p167-181. 15p.

Θεματικοί όροι: *SOFTWARE reliability, COMPUTER debugging software, LOGISTIC distribution (Probability), POISSON processes, COMPUTER software testing

Study of the nonlinear imperfect software debugging model.

Συγγραφείς: Wang, Jinyong¹ wangjinyong818@163.com, Wu, Zhibo² wzb@ftcl.hit.edu.cn

Πηγή: Reliability Engineering & System Safety. Sep2016, Vol. 153, p180-192. 13p.

Θεματικοί όροι: *COMPUTER debugging software, *NONLINEAR systems, *FAULT-tolerant computing, *CLOUD computing, *BIG data, *SOFTWARE reliability, *MATHEMATICAL models

BrezeFlow: Unified Debugger for Android CPU Power Governors and Schedulers on Edge Devices.

Συγγραφείς: Hoffman, Alexander, Pathania, Anuj, Kindt, Philipp H., Chakraborty, Samarjit, Mitra, Tulika

Πηγή: DAC: Annual ACM/IEEE Design Automation Conference; 2020, Issue 57, p1310-1315, 6p

Θεματικοί όροι: COMPUTER debugging software, EDGE computing, SMARTPHONES, MOBILE apps, ENERGY consumption

Systematic bug finding and fault localization enhanced with input data tracking

Συγγραφείς: DeMott, Jared D. jdemott@vdalabs.com, Enbody, Richard J. enbody@cse.msu.edu, Punch, William F. punch@cse.msu.edu

Πηγή: Computers & Security. Feb2013, Vol. 32, p130-157. 28p.

Θεματικοί όροι: *INFORMATION storage & retrieval systems, COMPUTER software testing, COMPUTER debugging software, ERROR messages (Computer science), BINARY number system, COMPUTER software security, CODING theory

Dynamic Currency Determination in Optimized Programs.

Συγγραφείς: Dhamdhere, D.M., Sankaranarayanan, K.V.

Πηγή: ACM Transactions on Programming Languages & Systems. Nov98, Vol. 20 Issue 6, p1111. 20p. 10 Diagrams.

Θεματικοί όροι: COMPUTER debugging software, COMPUTER software testing

VISUALIZATION AND DEBUGGING OF DISTRIBUTED MULTIAGENT SYSTEMS.

Συγγραφείς: Ndumu, Divine T., Nwana, Hyacinth S., Lee, Lyndon C., Haynes, Haydn R.

Πηγή: Applied Artificial Intelligence. Jan1999, Vol. 13 Issue 1/2, p187-208. 22p.

Θεματικοί όροι: *INTELLIGENT agents, DISTRIBUTED computing software, COMPUTER debugging software

Your Portable PC Survival Kit.

Συγγραφείς: CASTLE, ALEX

Πηγή: PCWorld. May2013, Vol. 31 Issue 5, p73-77. 5p. 5 Color Photographs.

Θεματικοί όροι: *COMPUTER software, COMPUTER debugging software, USB flash drives, COMPUTER maintenance & repair

Reviews & Products: GOOGLE Chrome (Computer software)

Automated Debugger for Parallel Programs.

Συγγραφείς: Rosenberger, Jack

Πηγή: Communications of the ACM. Aug2010, Vol. 53 Issue 8, p16-16. 1/5p.

Θεματικοί όροι: COMPUTER debugging software, NUCLEAR weapons safety

Debugger support in Windows 3.1.

Συγγραφείς: Pietrek, Matt

Πηγή: Byte.com. Sep93, Vol. 18 Issue 10, p207. 6p. 1 Color Photograph, 1 Black and White Photograph, 1 Diagram.

Θεματικοί όροι: *COMPUTER operating systems, COMPUTER debugging software