Výsledky vyhledávání - Software/Program Verification—Statistical methods General Terms Algorithms

Retrieving Similar Code Fragments based on Identifier Similarity for Defect Detection

Autoři: Norihiro Yoshida Takashi Ishio Makoto Matsushita a další

Přispěvatelé: Norihiro Yoshida Takashi Ishio Makoto Matsushita a další

Zdroj: http://iip-lab.ics.es.osaka-u.ac.jp/~lab-db/betuzuri/archive/706/706.pdf.

Témata: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2917

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2917
http://iip-lab.ics.es.osaka-u.ac.jp/~lab-db/betuzuri/archive/706/706.pdf

Finding Similar Defects Using Synonymous Identifier Retrieval

Autoři: Norihiro Yoshida Takeshi Hattori Katsuro Inoue a další

Přispěvatelé: Norihiro Yoshida Takeshi Hattori Katsuro Inoue a další

Zdroj: http://iip-lab.ics.es.osaka-u.ac.jp/%7Elab-db/betuzuri/archive/800/800.pdf.

Témata: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation Keywords Code Retrieval, Natural Language Processing, Defect Detection

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.8269

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.8269
http://iip-lab.ics.es.osaka-u.ac.jp/%7Elab-db/betuzuri/archive/800/800.pdf

Code Patterns for Automatically Validating Requirements-to-Code Traces

Autoři: Achraf Ghabi Alexander Egyed The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Achraf Ghabi Alexander Egyed The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, Validation General Terms Algorithms, Measurement, Reliability, Verification Keywords requirements

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.7173

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.7173
http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf

Value of couch height-based positioning in postoperative adjuvant radiotherapy for left-sided breast cancer.

Autoři: Shang, Zaichun Chen, Jian Li, Ming a další

Zdroj: Scientific Reports; 11/19/2025, Vol. 15 Issue 1, p1-11, 11p

Témata: RADIOTHERAPY, PATIENT positioning, BREAST tumors, RADIOTHERAPY treatment planning, RADIATION doses, TARGET organs (Anatomy)

Scalable Statistical Bug Isolation Ben Liblit Computer Sciences DepartmentUniversity of Wisconsin-Madison

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://xenon.stanford.edu/~mhn/pubs/pldi05.ps.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification--statistical methods, D.2.5 [Software Engineering, Testing and Debugging--debugging aids, distributed debugging, monitors, tracing, I.5.2 [Pattern Recognition, Design Methodology--feature evaluation and selection General Terms Experimentation, Reliability Keywords bug isolation, random sampling, invariants, feature se-lection, statistical debugging

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.6392; http://xenon.stanford.edu/~mhn/pubs/pldi05.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.6392
http://xenon.stanford.edu/~mhn/pubs/pldi05.ps

Scalable Statistical Bug Isolation Ben Liblit Computer Sciences DepartmentUniversity of Wisconsin-Madison

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cmu.edu/~alicez/pldi-2005.ps.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification--statistical methods, D.2.5 [Software Engineering, Testing and Debugging--debugging aids, distributed debugging, monitors, tracing, I.5.2 [Pattern Recognition, Design Methodology--feature evaluation and selection General Terms Experimentation, Reliability Keywords bug isolation, random sampling, invariants, feature se-lection, statistical debugging

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.8473

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.8473
http://www.cs.cmu.edu/~alicez/pldi-2005.ps

MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming.

Autoři: FRECHTLING, MICHAEL LEONG, PHILIP H. W.

Zdroj: ACM Transactions on Programming Languages & Systems; Apr2015, Vol. 37 Issue 2, p5:1-5:25, 25p

Témata: ROUNDING errors, NUMERICAL analysis, ERROR analysis in mathematics, MONTE Carlo method, MATHEMATICAL models

Scalable statistical bug isolation

Autoři: Ben Liblit Mayur Naik Alice X. Zheng a další

Přispěvatelé: Ben Liblit Mayur Naik Alice X. Zheng a další

Zdroj: http://pag.csail.mit.edu/reading-group/liblit05isolation.pdf.

Témata: Design Methodology—feature evaluation and selection General Terms Experimentation, Reliability Keywords bug isolation, random sampling, invariants, feature selection, statistical debugging

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.652

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.652
http://pag.csail.mit.edu/reading-group/liblit05isolation.pdf

ECR 2022 Book of Abstracts.

Zdroj: Insights into Imaging; 12/31/2022, Vol. 13 Issue 4, p1-454, 454p

Témata: MEDICAL personnel, MAGNETIC resonance angiography

ECR 2022 Book of Abstracts.

Zdroj: Insights into Imaging; 2022 Suppl 4, Vol. 13, p1-454, 454p

Témata: ATHEROSCLEROTIC plaque, GASTROINTESTINAL hemorrhage, DIFFUSION tensor imaging, DIFFUSION magnetic resonance imaging, CARDIAC magnetic resonance imaging, COMPUTER-aided diagnosis, CONTRAST-enhanced magnetic resonance imaging

How to Learn Enough Data Mining to be Dangerous in 60 Minutes.

Autoři: Bernstein, Abraham

Zdroj: ICSE: International Conference on Software Engineering; 2008, p77-77, 1p

Témata: DATA mining

Efficient Software Verification: Statistical Testing Using Automated Search.

Autoři: Poulding, Simon Clark, John A.

Zdroj: IEEE Transactions on Software Engineering; 09/01/2010, Vol. 36 Issue 6, p763-777, 0p, 3 Diagrams, 3 Charts, 3 Graphs

Témata: COMPUTER software testing, ELECTRONIC information resource searching, SOFTWARE verification, MATHEMATICAL optimization, FAULT-tolerant computing, DISTRIBUTION (Probability theory), QUANTITATIVE research

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Autoři: Tiziana Margaria Bernhard Steffen

Resource Type: eBook.

Témata: Software engineering, Compilers (Computer programs), Artificial intelligence, Computer science, Computer engineering, Computer networks, Computers, Professions

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Autoři: Tiziana Margaria Bernhard Steffen

Resource Type: eBook.

Témata: Software engineering, Compilers (Computer programs), Artificial intelligence, Computer science, Computer engineering, Computer networks, Computers, Professions

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Tailoring Cleanroom for Industrial Use.

Autoři: Oshana, Robert S.

Zdroj: IEEE Software; Nov/Dec98, Vol. 15 Issue 6, p46, 10p

Témata: SOFTWARE engineering, COMPUTER architecture

Measuring the Strength of Information Flows in Programs.

Autoři: MASRI, WES PODGURSKI, ANDY

Zdroj: ACM Transactions on Software Engineering & Methodology; Oct2009, Vol. 19 Issue 2, p5:1-5:33, 33p, 7 Charts, 11 Graphs

Témata: SOFTWARE engineering, COMPUTER-aided software engineering, COMPUTER software, COMPUTER programming, COMPUTER software execution

Adaptive Bug Isolation.

Autoři: Nainar, Piramanayagam Arumuga Liblit, Ben

Zdroj: ICSE: International Conference on Software Engineering; 2010, p255-264, 10p, 1 Diagram, 3 Charts, 3 Graphs

Témata: DEBUGGING, COMPUTER software correctness, COMPUTER software, MATHEMATICAL models

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Autoři: Tiziana Margaria Bernhard Steffen

Resource Type: eBook.

Témata: Software engineering, Machine theory, Computer science, Computers, Special purpose, Computer systems, Microprogramming

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Handbook of Systems Engineering and Analysis of Electro-Optical and Infrared Systems : Concepts, Principles, and Methods

Autoři: William Wolfgang Arrasmith

Resource Type: eBook.

Témata: Electrooptics, Infrared technology

Categories: TECHNOLOGY & ENGINEERING / Lasers & Photonics, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Manufacturing

Computational Intelligence Applications for Software Engineering Problems

Autoři: Parma Nand Nitin Rakesh Arun Prakash Agrawal a další

Resource Type: eBook.

Témata: Computational intelligence, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Software Development & Engineering / Tools, COMPUTERS / Computer Engineering, SCIENCE / Life Sciences / General