Search Results - Software/Program Verification—Statistical methods General Terms Algorithms~
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Subject Terms: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation Keywords Code Retrieval, Natural Language Processing, Defect Detection
File Description: application/pdf
-
3
Authors:
Contributors:
Source: http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, Validation General Terms Algorithms, Measurement, Reliability, Verification Keywords requirements
File Description: application/pdf
Availability: 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 -
4
Authors: et al.
Source: Scientific Reports; 11/19/2025, Vol. 15 Issue 1, p1-11, 11p
-
5
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.6392; http://xenon.stanford.edu/~mhn/pubs/pldi05.ps
-
6
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/postscript
-
7
Authors:
Source: ACM Transactions on Programming Languages & Systems; Apr2015, Vol. 37 Issue 2, p5:1-5:25, 25p
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Design Methodology—feature evaluation and selection General Terms Experimentation, Reliability Keywords bug isolation, random sampling, invariants, feature selection, statistical debugging
File Description: application/pdf
-
9
Source: Insights into Imaging; 12/31/2022, Vol. 13 Issue 4, p1-454, 454p
Subject Terms: MEDICAL personnel, MAGNETIC resonance angiography
-
10
Source: Insights into Imaging; 2022 Suppl 4, Vol. 13, p1-454, 454p
-
11
Authors: Bernstein, Abraham
Source: ICSE: International Conference on Software Engineering; 2008, p77-77, 1p
Subject Terms: DATA mining
-
12
Authors:
Source: IEEE Transactions on Software Engineering; 09/01/2010, Vol. 36 Issue 6, p763-777, 0p, 3 Diagrams, 3 Charts, 3 Graphs
-
13
Authors:
Resource Type: eBook.
Subjects: 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
-
14
Authors:
Resource Type: eBook.
Subjects: 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
-
15
Authors: Oshana, Robert S.
Source: IEEE Software; Nov/Dec98, Vol. 15 Issue 6, p46, 10p
Subject Terms: SOFTWARE engineering, COMPUTER architecture
-
16
Authors:
Source: ACM Transactions on Software Engineering & Methodology; Oct2009, Vol. 19 Issue 2, p5:1-5:33, 33p, 7 Charts, 11 Graphs
-
17
Authors:
Source: ICSE: International Conference on Software Engineering; 2010, p255-264, 10p, 1 Diagram, 3 Charts, 3 Graphs
Subject Terms: DEBUGGING, COMPUTER software correctness, COMPUTER software, MATHEMATICAL models
-
18
Authors:
Resource Type: eBook.
Subjects: 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
-
19
Authors: William Wolfgang Arrasmith
Resource Type: eBook.
Subjects: Electrooptics, Infrared technology
Categories: TECHNOLOGY & ENGINEERING / Lasers & Photonics, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Manufacturing
-
20
Authors: et al.
Resource Type: eBook.
Subjects: 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
Nájsť tento článok vo Web of Science 
Full Text 
Full Text Finder