Works about COMPUTER software correctness
Results: 250
An extended schema and its production rule-based algorithms for assembly data exchange using IGES.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2012, v. 58, n. 9-12, p. 1155, doi. 10.1007/s00170-011-3434-z
- By:
- Publication type:
- Article
Anonymous Limited-Use-Proof Entity Authentication Protocol.
- Published in:
- Wireless Personal Communications, 2017, v. 96, n. 1, p. 1065, doi. 10.1007/s11277-017-4221-4
- By:
- Publication type:
- Article
Software Verification using State Diagrams.
- Published in:
- Grenze International Journal of Engineering & Technology (GIJET), 2021, v. 7, n. 1, p. 530
- By:
- Publication type:
- Article
Graphs for Mining-Based Defect Localization in Multithreaded Programs.
- Published in:
- International Journal of Parallel Programming, 2013, v. 41, n. 4, p. 570, doi. 10.1007/s10766-012-0237-2
- By:
- Publication type:
- Article
MPI Correctness Checking for OpenMP/MPI Applications.
- Published in:
- International Journal of Parallel Programming, 2009, v. 37, n. 3, p. 277, doi. 10.1007/s10766-009-0099-4
- By:
- Publication type:
- Article
Proof nets for multiplicative cyclic linear logic and Lambek calculus.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 733, doi. 10.1017/S0960129518000300
- By:
- Publication type:
- Article
A time-free uniform solution to subset sum problem by tissue P systems with cell division.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 1, p. 17, doi. 10.1017/S0960129515000018
- By:
- Publication type:
- Article
Modelling declassification policies using abstract domain completeness.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1253, doi. 10.1017/S096012951100020X
- By:
- Publication type:
- Article
Correctness of high-level transformation systems relative to nested conditions.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 245, doi. 10.1017/S0960129508007202
- By:
- Publication type:
- Article
Quantum software testing: State of the art.
- Published in:
- Journal of Software: Evolution & Process, 2023, v. 35, n. 4, p. 1, doi. 10.1002/smr.2419
- By:
- Publication type:
- Article
Empirical studies on software traceability: A mapping study.
- Published in:
- Journal of Software: Evolution & Process, 2021, v. 33, n. 2, p. 1, doi. 10.1002/smr.2294
- By:
- Publication type:
- Article
Spreadsheet guardian: An approach to protecting semantic correctness throughout the evolution of spreadsheets.
- Published in:
- Journal of Software: Evolution & Process, 2018, v. 30, n. 9, p. 1, doi. 10.1002/smr.1934
- By:
- Publication type:
- Article
Extending Category Partition's Base Choice criterion to better support constraints.
- Published in:
- Journal of Software: Evolution & Process, 2018, v. 30, n. 3, p. 1, doi. 10.1002/smr.1868
- By:
- Publication type:
- Article
MUTATION TESTING: OBJECT-ORIENTED MUTATION AND TESTING TOOLS.
- Published in:
- Journal of Information Technology & Applications, 2011, v. 1, n. 2, p. 105
- By:
- Publication type:
- Article
SPiDER—An advanced symbolic debugger for Fortran 90/HPF programs.
- Published in:
- Concurrency & Computation: Practice & Experience, 2002, v. 14, n. 2, p. 103, doi. 10.1002/cpe.618
- By:
- Publication type:
- Article
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 2, p. 495, doi. 10.1093/logcom/exu028
- By:
- Publication type:
- Article
Proof automation for functional correctness in separation logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 2, p. 641, doi. 10.1093/logcom/exu032
- By:
- Publication type:
- Article
The recursive path and polynomial ordering for first-order and higher-order terms.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 1, p. 263, doi. 10.1093/logcom/exs027
- By:
- Publication type:
- Article
Practical Algorithms for Generating a Random Ordering of the Elements of a Weighted Set.
- Published in:
- Theory of Computing Systems, 2014, v. 54, n. 4, p. 659, doi. 10.1007/s00224-013-9496-6
- By:
- Publication type:
- Article
Doubly Bayesian Analysis of Confidence in Perceptual Decision-Making.
- Published in:
- PLoS Computational Biology, 2015, v. 11, n. 10, p. 1, doi. 10.1371/journal.pcbi.1004519
- By:
- Publication type:
- Article
A Hybridized Artificial Neural Network for Automated Software Test Oracle.
- Published in:
- Computer Systems Science & Engineering, 2023, v. 45, n. 2, p. 1837, doi. 10.32604/csse.2023.029703
- By:
- Publication type:
- Article
Fine-grained Concurrency with Separation Logic.
- Published in:
- Journal of Philosophical Logic, 2011, v. 40, n. 5, p. 583, doi. 10.1007/s10992-011-9195-1
- By:
- Publication type:
- Article
Determining basic characteristics of stars from evolutionary computations.
- Published in:
- Astronomy Reports, 2017, v. 61, n. 3, p. 193, doi. 10.1134/S1063772917030076
- By:
- Publication type:
- Article
Year 2000 bomb still ticking.
- Published in:
- Internal Auditor, 1997, v. 54, n. 6, p. 16
- Publication type:
- Article
Using Selected Options of the Ipconfig Command to Teach Network Troubleshooting Techniques.
- Published in:
- Journal of Information Systems Education, 2005, v. 16, n. 3, p. 251
- By:
- Publication type:
- Article
SOFTWARE CORRECTNESS VERIFICATION BY CONTRACT.
- Published in:
- Bulletin of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics, 2014, v. 7, n. 56-1, p. 131
- By:
- Publication type:
- Article
Blame and coercion: Together again for the first time.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000101
- By:
- Publication type:
- Article
An extended account of contract monitoring strategies as patterns of communication.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000047
- By:
- Publication type:
- Article
Work it, wrap it, fix it, fold it.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 1, p. 113, doi. 10.1017/S0956796814000045
- By:
- Publication type:
- Article
An insider's look at LF type reconstruction: everything you (n)ever wanted to know.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 1, p. 1, doi. 10.1017/S0956796812000408
- By:
- Publication type:
- Article
Safety of N?cker's strictness analysis.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 4, p. 503
- By:
- Publication type:
- Article
An improved kinematic model for calibration of serial robots having closed-chain mechanisms.
- Published in:
- Robotica, 2012, v. 30, n. 6, p. 963, doi. 10.1017/S0263574711001184
- By:
- Publication type:
- Article
Cooperative Path Planning and Constraints Analysis for Master-Slave Industrial Robots.
- Published in:
- International Journal of Advanced Robotic Systems, 2012, v. 9, n. 9, p. 1, doi. 10.5772/51374
- By:
- Publication type:
- Article
A question of identity.
- Published in:
- Nature, 1994, v. 368, n. 6472, p. 589, doi. 10.1038/368589a0
- By:
- Publication type:
- Article
Reply to the paper: Misunderstood parameters of NCBI BLAST impacts the correctness of bioinformatics workflows.
- Published in:
- Bioinformatics, 2019, v. 35, n. 15, p. 2699, doi. 10.1093/bioinformatics/bty1026
- By:
- Publication type:
- Article
poreTally: run and publish de novo nanopore assembler benchmarks.
- Published in:
- Bioinformatics, 2019, v. 35, n. 15, p. 2663, doi. 10.1093/bioinformatics/bty1045
- By:
- Publication type:
- Article
MCS 2 : minimal coordinated supports for fast enumeration of minimal cut sets in metabolic networks.
- Published in:
- Bioinformatics, 2019, v. 35, n. 14, p. i615, doi. 10.1093/bioinformatics/btz393
- By:
- Publication type:
- Article
Proving correctness of regular expression matchers with constrained repetition.
- Published in:
- Electronics Letters (Wiley-Blackwell), 2013, v. 49, n. 1, p. 3, doi. 10.1049/el.2012.2208
- By:
- Publication type:
- Article
Evaluation of the correctness of operation of adaptive under-impedance criterion for HV single and double-circuit overhead power line with increased capacity.
- Published in:
- Przegląd Elektrotechniczny, 2017, v. 93, n. 4, p. 74, doi. 10.15199/48.2017.04.19
- By:
- Publication type:
- Article
Analytical Solution for the Steady Seepage Field of an Anchor Circular Pit in Layered Soil.
- Published in:
- Buildings (2075-5309), 2024, v. 14, n. 1, p. 74, doi. 10.3390/buildings14010074
- By:
- Publication type:
- Article
A Method to Reduce Eddy Current Loss of Underwater Wireless Power Transmission by Current Control.
- Published in:
- Applied Sciences (2076-3417), 2022, v. 12, n. 5, p. 2435, doi. 10.3390/app12052435
- By:
- Publication type:
- Article
On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software.
- Published in:
- Applied Sciences (2076-3417), 2022, v. 12, n. 4, p. 2014, doi. 10.3390/app12042014
- By:
- Publication type:
- Article
“So my program doesn't run!” Definition, origins, and practical expressions of students' (mis)conceptions of correctness.
- Published in:
- Computer Science Education, 2008, v. 18, n. 2, p. 135, doi. 10.1080/08993400802156400
- By:
- Publication type:
- Article
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 2, p. 125, doi. 10.7561/SACS.2016.2.125
- By:
- Publication type:
- Article
Mechanism Analysis of the Effect of the Equivalent Proportional Coefficient of Inertia Control for a Doubly Fed Wind Generator on Frequency Stability in Extreme Environments.
- Published in:
- Sustainability (2071-1050), 2024, v. 16, n. 12, p. 4965, doi. 10.3390/su16124965
- By:
- Publication type:
- Article
A Formal Approach for Consistency Management in UML Models.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2023, v. 33, n. 5, p. 733, doi. 10.1142/S0218194023500134
- By:
- Publication type:
- Article
Generation of C++ Code from Isabelle/HOL Specification.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2022, v. 32, n. 7, p. 1043, doi. 10.1142/S0218194022500401
- By:
- Publication type:
- Article
Localization of Linearizability Faults on the Coarse-Grained Level.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 9/10, p. 1483, doi. 10.1142/S0218194017400071
- By:
- Publication type:
- Article
PRST: A PageRank-Based Summarization Technique for Summarizing Bug Reports with Duplicates.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 6, p. 869, doi. 10.1142/S0218194017500322
- By:
- Publication type:
- Article
Utilization of Dependence and Weight to Improve Fault Localization Method of Regression Test Cases.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 3, p. 423, doi. 10.1142/S0218194017500152
- By:
- Publication type:
- Article