Keywords: جریان کنترل; Mutation testing; Selective mutation testing; Control flow; Path depth;
مقالات ISI جریان کنترل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: جریان کنترل; Android; Java; Program analysis; Control flow; Formal semantics
Keywords: جریان کنترل; Anti-patterns; Collaborative Business Processes; Verification; Formal methods; Control flow; Behavior; Cross-organizational collaborations
Automatic Transformation of UML System Models for Model-based Error Propagation Analysis of Mechatronic Systems
Keywords: جریان کنترل; UML; Activity Diagrams; Control Flow; Data Flow; Error Propagation Analysis; Dual-graph Error Propagation Model; Medical Patient Table;
A study of self-propagating mal-packets in sensor networks: Attacks and defenses
Keywords: جریان کنترل; Mal-packet; Buffer overflow; Memory fault; Code injection; Control flow; Sensor security
Evaluating compiler technology for control-flow optimizations for multimedia extension architectures
Keywords: جریان کنترل; SIMD compiler; Branch-on-superword-condition-code (BOSCC); Control flow; Multimedia extension; Automatic vectorization
Detecting artifact anomalies in business process specifications with a formal model
Keywords: جریان کنترل; Workflow; Business process; Analysis; Control flow; Data flow; Artifact; Anomaly
White and grey-box verification and validation approaches for safety- and security-critical software systems
Keywords: جریان کنترل; Verification; Validation; Software testing; Coverage; Control flow; Data flow; Integration; Interface; Automatic test data generation
Deconstructing Alice and Bob
Keywords: جریان کنترل; Security protocols; protocol models; Alice and Bob notation; control flow; message forwarding; protocol abortion;