Tag #validation
690 papers:
EDM-2019-PraseedaSR - Validating the Myth of Average through Evidences (P, SS, PR).
ICSME-2019-WuLW #adaptation #self- A Validation Method of Self-Adaptive Strategy Based on POMDP (TW, QL, LW), pp. 373–375.
ICML-2019-AlaaS #modelling- Validating Causal Inference Models via Influence Functions (AMA, MvdS), pp. 191–201.
- ICML-2019-SuterMSB #robust
- Robustly Disentangled Causal Mechanisms: Validating Deep Representations for Interventional Robustness (RS, ÐM, BS, SB), pp. 6056–6065.
KDD-2019-YanYOZBWH #social- Social Skill Validation at LinkedIn (XY, JY, MO, LZ, JB, SW, QH), pp. 2943–2951.
ESEC-FSE-2019-MostaeenSRRS #machine learning #named- CloneCognition: machine learning based code clone validation tool (GM, JS, BR, CKR, KAS), pp. 1105–1109.
- ICSE-2019-PhamLQT #debugging #detection #learning #library #locality #named
- CRADLE: cross-backend validation to detect and localize bugs in deep learning libraries (HVP, TL, WQ, LT0), pp. 1027–1038.
CASE-2019-LugaresiAFM #approach #modelling #novel #realtime- Real-time Validation of Digital Models for Manufacturing Systems: a Novel Signal-processing-based Approach (GL, GA, FF, AM), pp. 450–455.
- CASE-2019-NikouHD #design
- Design and Experimental Validation of Tube-based MPC for Timed-constrained Robot Planning (AN, SHA, DVD), pp. 1181–1186.
- CASE-2019-RastegarpourCFG
- Experimental Validation of the Control-Oriented Model of Heat Pumps for MPC Applications (SR, LC, LF, OG), pp. 1249–1255.
- CASE-2019-SihiteYB #realtime
- Derivation of a new drive/coast motor driver model for real-time brushed DC motor control, and validation on a MIP robot (ENS, DJY, TRB), pp. 1099–1105.
- CASE-2019-YangSZSWHP #multi
- Multiphysics Dynamic Model Validation Methodology for Laser-Driven Microrobots (ZY, MNS, RZ, AS, DW, CKH, DOP), pp. 1555–1561.
- CASE-2019-YuLTWG #adaptation #design #modelling
- An Adaptive Chain-type Treadmill-Based Traction Testbed for the Wheeled Planetary Exploration Rover: Design, Modeling and Experimental Validation (HY, CL, LT, SW, HG), pp. 1517–1523.
ICTSS-2019-KluckZWN #comparison #performance #search-based #testing- Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation (FK, MZ, FW, MN), pp. 140–156.
SCAM-2018-MostaeenSRRS #automation #design #machine learning #research #tool support #towards #using- [Research Paper] On the Use of Machine Learning Techniques Towards the Design of Cloud Based Automatic Code Clone Validation Tools (GM, JS, BR, CKR, KAS), pp. 155–164.
FM-2018-LarsenLN #realtime- 20 Years of Real Real Time Model Validation (KGL, FL, BN), pp. 22–36.
SEFM-2018-Choi #automation #generative #source code- Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation (YC), pp. 254–268.
CHI-PLAY-2018-LawBM #experience #game studies #overview- Systematic Review and Validation of the Game Experience Questionnaire (GEQ) - Implications for Citation and Reporting Practice (ELCL, FB, EDM), pp. 257–270.
CIKM-2018-SyedRN #named #rdf #using- FactCheck: Validating RDF Triples Using Textual Evidence (ZHS, MR, ACNN), pp. 1599–1602.
ECMFA-2018-BaduelCBO #challenge #industrial #modelling #verification- SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation (RB, MC, JMB, IO), pp. 132–146.
- ECMFA-2018-MadaniKP #parallel
- Parallel Model Validation with Epsilon (SM, DSK, RFP), pp. 115–131.
ECOOP-2018-KrugerS0BM #api #approach #encryption #named- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (SK, JS, KA0, EB, MM), p. 27.
POPL-2018-ScibiorKVSYCOMH #higher-order- Denotational validation of higher-order Bayesian inference (AS, OK, MV, SS, HY, YC, KO, SKM, CH, ZG), p. 29.
ASE-2018-ZhangZZ0K #framework #named #testing- DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems (MZ, YZ, LZ, CL0, SK), pp. 132–142.
- ESEC-FSE-2018-BrabermanGGUCPP #testing
- Testing and validating end user programmed calculated fields (VAB, DG, JG, SU, GdC, IP, SP), pp. 827–832.
- ESEC-FSE-2018-IvanovPRSYZ #design #developer
- Design and validation of precooked developer dashboards (VI0, VP, AR, GS, JY, VZ), pp. 821–826.
- ICSE-2018-ChenTDZ #difference #implementation #testing
- RFC-directed differential testing of certificate validation in SSL/TLS implementations (CC, CT, ZD, LZ), pp. 859–870.
SLE-2018-MeySHSKFOA #attribute grammar #using- Continuous model validation using reference attribute grammars (JM, RS, GH, ES, TK0, NF, JÖ, UA), pp. 70–82.
- CASE-2018-KhanDFF #legacy #simulation #testing
- Digital Twin for Legacy Systems: Simulation Model Testing and Validation (AK, MD, PF, MF), pp. 421–426.
- CASE-2018-LiWZL #geometry #mobile #modelling #parametricity #representation
- Modeling and Validation of Free Road with Geometric Parameter Representation for wheeled mobile robots (PL, HW, MZ, JL), pp. 1152–1157.
- ICTSS-2018-BonfantiGM #c++ #modelling #state machine
- Validation of Transformation from Abstract State Machine Models to C++ Code (SB, AG, AM), pp. 17–32.
TAP-2018-0001DLT #testing #verification- Tests from Witnesses - Execution-Based Validation of Verification Results (DB0, MD, TL0, MT), pp. 3–23.
- SEFM-2017-FachiniM #programming language
- Validating the Meta-Theory of Programming Languages (Short Paper) (GF, AM), pp. 367–374.
ECIR-2017-CeroniGF #constraints #corpus #crowdsourcing #named #strict- JustEvents: A Crowdsourced Corpus for Event Validation with Strict Temporal Constraints (AC, UG, MF), pp. 484–492.
OOPSLA-2017-Reid #architecture #specification- Who guards the guards? formal validation of the Arm v8-m architecture specification (AR), p. 24.
LOPSTR-2017-BetarteCGL #android- A Certified Reference Validation Mechanism for the Permission Model of Android (GB, JDC, FG, CL), pp. 271–288.
CAV-2017-RoehmHM #named- STLInspector: STL Validation with Guarantees (HR, TH0, ECM), pp. 225–232.
- CAV-2017-SinghBM #debugging #detection #fault #formal method #locality #named
- E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods (ES, CWB, SM), pp. 104–125.
ICST-2017-Al-NayeemOPRZ #case study #evolution- Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google (AAN, KO, SP, CR, SZ), pp. 544–545.
VMCAI-2017-HolikHLRV #automaton #refinement- Counterexample Validation and Interpolation-Based Refinement for Forest Automata (LH, MH, OL, AR, TV), pp. 288–309.
CSEET-2016-HeroutB #automation #diagrams #student #uml- UML-Test Application for Automated Validation of Students' UML Class Diagram (PH, PB), pp. 222–226.
- CSEET-2016-OkuboNTU #design #development #independence #process #verification
- Applying an Instructional Design Process to Development of an Independent Verification and Validation Training Program (NO, KN, ST, YU), pp. 237–240.
- EDM-2016-RoweAEHBBE #game studies #learning #metric
- Validating Game-based Measures of Implicit Science Learning (ER, JAC, ME, AH, TB, RB, TE), pp. 490–495.
- EDM-2016-WhitmerDO #automation
- Validating Automated Triggers and Notifications @ Scale in Blackboard Learn (JW, AD, BO), pp. 648–649.
- ICSME-2016-Smith #source code
- Resolving Input Validation Vulnerabilities by Retracing Taint Flow Through Source Code (JS0), p. 617.
- FM-2016-HasanagicTLL #formal method #interface #standard
- Formalising and Validating the Interface Description in the FMI Standard (MH, PWVTJ, KL, PGL), pp. 344–351.
- IFM-2016-KringsL #modelling #smt
- SMT Solvers for Validation of B and Event-B Models (SK, ML), pp. 361–375.
- CIKM-2016-LiKR #automation #generative #roadmap #set
- Automatic Generation and Validation of Road Maps from GPS Trajectory Data Sets (HL, LK, KR), pp. 1523–1532.
ICPR-2016-MeijerT #set- Regularizing AdaBoost with validation sets of increasing size (DWJM, DMJT), pp. 192–197.
- ICPR-2016-PluimMEM #image
- The truth is hard to make: Validation of medical image registration (JPWP, SEAM, KAJE, KM), pp. 2294–2300.
SAS-2016-RouxVS #invariant #polynomial #programming- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants (PR, YLV, SS0), pp. 424–446.
- ASE-2016-MoketarKSRG #automation #collaboration #requirements
- An automated collaborative requirements engineering tool for better validation of requirements (NAM, MK, SS, MR, JCG), pp. 864–869.
FSE-2016-JiangCQXML #consistency- Crash consistency validation made easy (YJ, HC, FQ, CX, XM, JL), pp. 133–143.
- FSE-2016-PaschalidesK #open source
- Validate your SPDX files for open source license violations (DP, GMK), pp. 1047–1051.
- ICSE-2016-LongR #analysis #generative
- An analysis of the search spaces for generate and validate patch generation systems (FL, MCR), pp. 702–713.
CGO-2016-ChakrabortyV #c #c++ #concurrent #optimisation #source code- Validating optimizations of concurrent C/C++ programs (SC, VV), pp. 216–226.
- ICST-2016-Al-RefaiGC #adaptation #modelling #runtime #testing
- Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems (MAR, SG, WC), pp. 288–298.
- TAP-2016-ReichlFT #formal method #using #verification
- Using Formal Methods for Verification and Validation in Railway (KR, TF, PT), pp. 3–13.
DocEng-2015-SantosBMRL #documentation #multi- Spatio-temporal Validation of Multimedia Documents (JAFdS, CB, DCMS, CR, NL), pp. 133–142.
SIGMOD-2015-HungTWA - Minimizing Efforts in Validating Crowd Answers (NQVH, DCT, MW, KA), pp. 999–1014.
- ICSME-2015-OliveiraVBS #developer #metric
- Validating metric thresholds with developers: An early result (PO, MTV, AB, AS), pp. 546–550.
- SCAM-2015-BanerjeeMS #equivalence #framework
- A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.
- FM-2015-SchneiderLW #modelling #problem
- Model-Based Problem Solving for University Timetable Validation and Improvement (DS, ML, TW), pp. 487–495.
- SEFM-2015-Jakobs #clustering #configuration management #reduction
- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
- CHI-PLAY-2015-VaddiWTSKN #communication
- Validating Test Chambers to Study Cooperative Communication Mechanics in Portal 2 (DV, RRW, ZOT, SNS, RK, LEN), pp. 721–726.
VS-Games-2015-Garcia-MundoGP #game studies #quality #towards- Towards a Construction and Validation of a Serious Game Product Quality Model (LGM, MG, MP), pp. 1–8.
CHI-2015-JokinenSPS - Quick Affective Judgments: Validation of a Method for Primed Product Comparisons (JPPJ, JMS, PMHP, PS), pp. 2221–2230.
CAiSE-2015-EstanolST #modelling #process #uml #verification- Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
- CAiSE-2015-SenderovichWGMK #network #process
- Discovery and Validation of Queueing Networks in Scheduled Processes (AS, MW, AG, AM, SK, CAB), pp. 417–433.
ICEIS-v2-2015-BandyszakRWP #analysis #information management #specification- Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration (TB, MR, TW, KP), pp. 252–259.
- ICEIS-v2-2015-TrujilloOP #authoring #framework #re-engineering #using
- Using Technical-Action-Research to Validate a Framework for Authoring Software Engineering Methods (MMT, HO, MP), pp. 15–27.
SIGIR-2015-HungTWA #named- ERICA: Expert Guidance in Validating Crowd Answers (NQVH, DCT, MW, KA), pp. 1037–1038.
- ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #verification
- Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
ICMT-2015-ChengMP #atl #execution #research #semantics- A Sound Execution Semantics for ATL via Translation Validation — Research Paper (ZC, RM, JFP), pp. 133–148.
- ICMT-2015-HilkenNGW #concept #modelling #ocl #uml #verification
- From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (FH, PN, MG, RW), pp. 149–165.
SPLC-2015-ArrietaSE #algorithm #cyber-physical #product line- Test control algorithms for the validation of cyber-physical systems product lines (AA, GS, LE), pp. 273–282.
REFSQ-2015-TenbergenWP - Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations (BT, TW, KP), pp. 17–32.
- REFSQ-2015-VriezekolkEW #assessment #risk management
- Experimental Validation of a Risk Assessment Method (EV, SE, RW), pp. 1–16.
- ASE-2015-Iosif-LazarADSS #case study #design #experience #legacy
- Experiences from Designing and Validating a Software Modernization Transformation (E) (AFIL, ASAS, ASD, JES, KS, AW), pp. 597–607.
- ESEC-FSE-2015-0001DDHS #verification
- Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
- ESEC-FSE-2015-ChenS #difference #implementation #testing
- Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
- ESEC-FSE-2015-SunXLLQ #abstraction #learning #named #testing
- TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
ICSE-v2-2015-DoligezFHM #development #functional #programming #security #xml- Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator (DD, CF, TH, MM), pp. 209–218.
- ICSE-v2-2015-GoldsteinS #architecture #automation
- Automatic and Continuous Software Architecture Validation (MG, IS), pp. 59–68.
- SLE-2015-Lopez-Fernandez #visual notation
- Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.
DAC-2015-CampbellLMC #debugging #detection #fault #hybrid #synthesis #using- Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principles (KAC, DL, SM, DC), p. 6.
- DAC-2015-GuoDJFM #formal method #perspective #security #verification
- Pre-silicon security verification and validation: a formal perspective (XG, RGD, YJ, FF, PM), p. 6.
- DAC-2015-RayYBB #correctness #design #security
- Correctness and security at odds: post-silicon validation of modern SoC designs (SR, JY, AB, SB), p. 6.
DATE-2015-CaoBFCCAO #feature model- LVS check for photonic integrated circuits: curvilinear feature extraction and validation (RC, JB, JF, LC, JC, AA, IO), pp. 1253–1256.
- DATE-2015-LinSKRM #debugging #detection #effectiveness #fault #performance #testing
- Quick error detection tests with fast runtimes for effective post-silicon validation and debug (DL, ES, SK, ER, SM), pp. 1168–1173.
- DATE-2015-TaatizadehN #automation #design #detection #embedded
- A methodology for automated design of embedded bit-flips detectors in post-silicon validation (PT, NN), pp. 73–78.
PPoPP-2015-SaillardCB #concurrent #multi #thread- Static/Dynamic validation of MPI collective communications in multi-threaded context (ES, PC, DB), pp. 279–280.
SOSP-2015-AmitTSAS #cpu- Virtual CPU validation (NA, DT, AS, AA, ES), pp. 311–327.
FASE-2015-NgoTGG #compilation- Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
- TAP-2015-DutleMNB #animation
- Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
ECSA-2014-CaraccioloLN #architecture #how #quality #question #requirements- How Do Software Architects Specify and Validate Quality Requirements? (AC, MFL, ON), pp. 374–389.
- EDM-2014-DesmaraisBX #refinement
- The refinement of a Q-matrix: Assessing methods to validate tasks to skills mapping (MCD, BB, PX), pp. 208–311.
- EDM-2014-MorganBR #analysis #fault #learning
- Error Analysis as a Validation of Learning Progressions (BM, WB, VR), pp. 245–248.
ITiCSE-2014-KohNBR #analysis- Early validation of computational thinking pattern analysis (KHK, HN, ARB, AR), pp. 213–218.
- ICSME-2014-ZhangHD #automation #parallel #scalability #simulation #tool support
- Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
GT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing- ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
DUXU-DP-2014-CandelloCBP #visual notation- A Validation Study of a Visual Analytics Tool with End Users (HC, VFC, AB, RAdP), pp. 381–391.
- SCSM-2014-ShiLYLC #development #network #social
- The Development and Validation of the Social Network Sites (SNSs) Usage Questionnaire (YS, YLLL, ZY, YL, HC), pp. 113–124.
VISSOFT-2014-SeriaiBCS #tool support #visualisation- Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.
- ICEIS-v2-2014-AntonioRF #embedded #modelling #process #verification
- Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.
- ICEIS-v2-2014-OliveiraG #architecture #empirical #metric #product line
- Empirical Validation of Product-line Architecture Extensibility Metrics (EAOJ, IMdSG), pp. 111–118.
- ICEIS-v2-2014-PodlouckyP #formal method #simulation #towards
- Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.
- ICEIS-v2-2014-Silva #automation #framework #quality #requirements #specification
- Quality of Requirements Specifications — A Framework for Automatic Validation of Requirements (ARdS), pp. 96–107.
- ICEIS-v3-2014-OussenaEK #architecture #enterprise #formal method #framework #metamodelling
- Formalization of Validation Extension Metamodel for Enterprise Architecture Frameworks (SO, JE, PK), pp. 427–434.
- ECIR-2014-CeroniF #automation #towards
- Towards an Entity-Based Automatic Event Validation (AC, MF), pp. 605–611.
- ICPR-2014-ChernousovaLTMW #parametricity
- Non-enumerative Cross Validation for the Determination of Structural Parameters in Feature-Selective SVMs (EC, PL, AT, VM, DW), pp. 3654–3659.
- ICPR-2014-Mishra0M #clustering #database #on the
- On Validation of Clustering Techniques for Bibliographic Databases (SM, SS, SM), pp. 3150–3155.
KEOD-2014-PintoA #axiom #case study- An e-Government Project Case Study — Interview based DEMO Axioms’ Benefits Validation (DP, DA), pp. 138–149.
- SIGIR-2014-ArakiC #ranking #similarity
- An annotation similarity model in passage ranking for historical fact validation (JA, JC), pp. 1111–1114.
- OOPSLA-2014-NazareMSBGP #analysis #memory management
- Validation of memory accesses through symbolic analyses (HN, IM, WS, LB, LG, FMQP), pp. 791–809.
AdaEurope-2014-ZhouLL #approach #embedded #requirements #safety- A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
PLDI-2014-LeAS #compilation #equivalence- Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.
RE-2014-WittFSH #process #verification- Business Application Modeler: A process model Validation and Verification tool (SW, SF, AS, CH), pp. 333–334.
- RE-2014-ZhouLLLKL #feature model #requirements #towards
- Towards feature-oriented requirements validation for automotive systems (JZ, YL, KL, HL, DK, BL), pp. 428–436.
- REFSQ-2014-Condori-FernandezESDG #collaboration #interactive #performance #requirements
- Analyzing the Effect of the Collaborative Interactions on Performance of Requirements Validation (NCF, SE, KS, MD, AG), pp. 216–231.
- ASE-2014-LiC #runtime
- Symbolic state validation through runtime data (YL, SCC), pp. 187–198.
- ASE-2014-Lopez-FernandezGL #metamodelling #verification
- Meta-Model validation and verification with MetaBest (JJLF, EG, JdL), pp. 831–834.
- ASE-2014-MaezawaNWH #ajax #using
- Validating ajax applications using a delay-based mutation technique (YM, KN, HW, SH), pp. 491–502.
- FSE-2014-JiangZZZLSSGS #embedded #modelling #multi #named #synthesis #tool support
- Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems (YJ, HZ, HZ, XZ, HL, CS, XS, MG, JGS), pp. 711–714.
- ICSE-2014-GeM #automation #refactoring
- Manual refactoring changes with automated refactoring validation (XG, ERMH), pp. 1095–1105.
SAC-2014-Silva #approach #automation #overview #quality #requirements #specification- Quality of requirements specifications: a preliminary overview of an automatic validation approach (ARdS), pp. 1021–1022.
- CASE-2014-TanHZ #automation #development
- Development and validation of an automated steering control system for bus revenue service (HST, JH, WBZ), pp. 31–36.
- DAC-2014-AbarbanelSV #challenge
- Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.
- DAC-2014-FarkashHB #incremental
- Coverage Learned Targeted Validation for Incremental HW Changes (MF, BGH, MB), p. 6.
- DAC-2014-NahirDKRRSSW
- Post-Silicon Validation of the IBM POWER8 Processor (AN, MD, SK, KR, WR, KDS, KS, GW), p. 6.
- DAC-2014-SampathRR #c
- Translation Validation for Stateflow to C (PS, ACR, SR), p. 6.
- DAC-2014-SutariaRZRMC #modelling #random #simulation
- BTI-Induced Aging under Random Stress Waveforms: Modeling, Simulation and Silicon Validation (KS, AR, RZ, RR, YM, YC), p. 6.
- DATE-2014-CongLYX #evaluation #prototype #testing
- Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
- DATE-2014-HsuCMGB #architecture #named #performance
- ArChiVED: Architectural checking via event digests for high performance validation (CHH, DC, RM, RG, VB), pp. 1–6.
- FASE-2014-MoreauHM #algorithm #api #design #online #testing
- An Online Validator for Provenance: Algorithmic Design, Testing, and API (LM, TDH, DTM), pp. 291–305.
- ICST-2014-HaysHB #testing
- Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.
ISSTA-2014-AlkhalafAB #difference #semantics- Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
- ECSA-2013-Kuster #architecture #design #modelling #traceability
- Architecture-Centric Modeling of Design Decisions for Validation and Traceability (MK), pp. 184–191.
QoSA-2013-BeckerLB #adaptation #analysis #performance #requirements #self- Performance analysis of self-adaptive systems for requirements validation at design-time (MB, ML, SB), pp. 43–52.
CSMR-2013-ChocklerDLFHMMORSST #named- PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
- ICSM-2013-CruzIP #development #empirical #using
- An Empirical Illustration to Validate a FLOSS Development Model Using S-Shaped Curves (AECC, HI, NP), pp. 468–471.
- GT-VMT-2013-TeusnerGRK #behaviour #interactive #modelling
- Interactive Strategy-Based Validation of Behavioral Models (RT, GG, SR, SK).
- CHI-2013-LawsonJGLKVRM #metric #mobile
- Validating a mobile phone application for the everyday, unobtrusive, objective measurement of sleep (SWL, SJP, AG, CL, EK, SV, DR, KM), pp. 2497–2506.
- DHM-HB-2013-Yuan #approach #evaluation #modelling
- Validation of an Integrated Biomechanical Modeling Approach to the Ergonomic Evaluation of Drywall Installation (LY), pp. 159–168.
- DHM-SET-2013-GoreM #approach #modelling #performance
- A Validation Approach for Complex NextGen Air Traffic Control Human Performance Models (BFG, PM), pp. 28–37.
- DUXU-PMT-2013-FischerSN #design #set #towards #usability
- Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design (HF, BS, KN), pp. 252–261.
- DUXU-PMT-2013-OrehovackiH #development #education #usability #web
- Development and Validation of an Instrument to Measure the Usability of Educational Artifacts Created with Web 2.0 Applications (TO, NZH), pp. 369–378.
- ICEIS-v2-2013-RibeiroSFO #concept #constraints #ocl
- Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model (AAdAR, SMS, JLF, ILO), pp. 286–293.
- ICEIS-v2-2013-ToureSA #enterprise #modelling #source code
- A2MO and ETREOSys — Analyzing, Modeling and Validation of Enterprise Training Programs (FT, MS, EA), pp. 310–316.
- ICEIS-v3-2013-EssienO #architecture #case study #component #enterprise #modelling #student
- Enterprise Architecture Models — Description of Integrated Components for Validation — A Case Study of Student Internship Programme (JE, SO), pp. 302–309.
KDIR-KMIS-2013-DuarteFD #clustering #constraints #using- Data Clustering Validation using Constraints (JMMD, ALNF, FJFD), pp. 17–27.
SEKE-2013-FelizardoBM #approach #overview #replication #visual notation- A Visual Approach to Validate the Selection Review of Primary Studies in Systematic Reviews: A Replication Study (KRF, EFB, JCM), pp. 141–146.
- SEKE-2013-PytelBG #mining
- Proposal and Validation of a Feasibility Model for Information Mining Projects (PP, PB, RGM), pp. 83–88.
- ICMT-2013-LepperT #performance
- Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (ML, BTyW), pp. 54–55.
MoDELS-2013-FernandezAIM #development #empirical #modelling #usability #web- Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML (AF, SA, EI, MM), pp. 740–756.
- MoDELS-2013-Gonzalez-HuertaIA #approach #architecture #multi
- Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement (JGH, EI, SA), pp. 388–404.
- MoDELS-2013-SemerathHV #constraints #domain-specific language #graph #query
- Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
- PLDI-2013-SewellMK #kernel
- Translation validation for a verified OS kernel (TALS, MOM, GK), pp. 471–482.
- SAS-2013-KimDS #documentation #html #parsing #semantics
- Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
- RE-2013-FeldererB #fault #industrial #requirements #taxonomy #using
- Using defect taxonomies for requirements validation in industrial projects (MF, AB), pp. 296–301.
- RE-2013-NistalaK #analysis #approach #consistency #requirements
- An approach to carry out consistency analysis on requirements: Validating and tracking requirements through a configuration structure (PN, PK), pp. 320–325.
- ASE-2013-Frank #automation #challenge #verification
- The challenges of verification and validation of automated planning systems (JF), p. 2.
- ASE-2013-NardoABFNM #modelling
- Model based test validation and oracles for data acquisition systems (DDN, NA, LCB, EF, TNA, VM), pp. 540–550.
- ESEC-FSE-2013-HawblitzelLPHGFDW #compilation
- Will you still compile me tomorrow? static cross-version compiler validation (CH, SKL, KP, HH, SG, LF, DD, SW), pp. 191–201.
ASPLOS-2013-ViennotNN #debugging #manycore- Transparent mutable replay for multicore debugging and patch validation (NV, SN, JN), pp. 127–138.
- DAC-2013-GuCL #estimation #performance
- Efficient moment estimation with extremely small sample size via bayesian inference for analog/mixed-signal validation (CG, EC, XL), p. 7.
- DAC-2013-KinsmanKN #generative #sequence
- Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
- DATE-2013-BouhadibaMM #energy #modelling
- System-level modeling of energy in TLM for early validation of power and thermal management (TB, MM, FM), pp. 1609–1614.
- DATE-2013-ChandranSP
- Space sensitive cache dumping for post-silicon validation (SC, SRS, PRP), pp. 497–502.
- DATE-2013-LinHLFGHM #challenge #detection #fault
- Overcoming post-silicon validation challenges through quick error detection (QED) (DL, TH, YL, FF, DSG, NH, SM), pp. 320–325.
- DATE-2013-MaYGGTBH #analysis #architecture #towards
- Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
- CAV-2013-HarrisJLJ #library
- Validating Library Usage Interactively (WRH, GJ, SL, SJ), pp. 796–812.
- ICST-2013-CompagnaGB #as a service #process #security
- Business Process Compliance via Security Validation as a Service (LC, PG, ADB), pp. 455–462.
- ICST-2013-NetterGB #composition #framework #modelling #simulation
- Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.
- ISSTA-2013-LiCWX #memory management
- Dynamically validating static memory leak warnings (ML, YC, LW, G(X), pp. 112–122.
ICALP-v1-2012-RabinMMY #performance #strict #transaction- Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions (MOR, YM, SM, MY), pp. 738–749.
- FM-2012-PlaggeL #using
- Validating B, Z and TLA + Using ProB and Kodkod (DP, ML), pp. 372–386.
IFM-2012-HansenL - Translating TLA + to B for Validation with ProB (DH, ML), pp. 24–38.
SFM-2012-CasoBGU #abstraction- Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.
FDG-2012-WareY - Validating a plan-based model of narrative conflict (SGW, RMY), pp. 220–227.
- CHI-2012-YeeDN #development #game studies #online
- Online gaming motivations scale: development and validation (NY, ND, LN), pp. 2803–2806.
- CAiSE-2012-GronerAMGPB #modelling #process
- Validation of User Intentions in Process Models (GG, MA, BM, DG, FSP, MB), pp. 366–381.
- CIKM-2012-ZhukovskiyVPOGGSR #empirical #graph #web
- Empirical validation of the buckley-osthus model for the web host graph: degree and edge distributions (MZ, DV, YP, LO, EG, GG, PS, AMR), pp. 1577–1581.
- KDIR-2012-GarciaGG #information management #performance #predict
- Predicting the Efficiency with Knowledge Discovery of a Budgeted Company: A Cuban University — Validation through Three Semesters (LIG, IG, RG), pp. 315–318.
- SEKE-2012-JuniorGM #architecture #complexity #empirical #metric #product line #variability
- Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture (EAdOJ, IMdSG, JCM), pp. 622–627.
- ECMFA-2012-KuhlmannG #modelling #ocl #representation #satisfiability #uml
- Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.
- ASE-2012-GhabiE #automation
- Code patterns for automatically validating requirements-to-code traces (AG, AE), pp. 200–209.
- ASE-2012-SharT #predict #web
- Predicting common web application vulnerabilities from input validation and sanitization code patterns (LKS, HBKT), pp. 310–313.
- ICSE-2012-AlkhalafBG #analysis #string #using #verification
- Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.
- ICSE-2012-GhezziM #behaviour #specification #synthesis
- Behavioral validation of JFSL specifications through model synthesis (CG, AM), pp. 936–946.
- ICSE-2012-ZhangE #exception #testing
- Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.
- SAC-2012-LocoroMS #collaboration #evolution #ontology
- Evolving and validating annotations in web-based collaborative environments through ontology matching (AL, VM, AMS), pp. 725–727.
- SAC-2012-MoretBATMF
- Double dip map-reduce for processing cross validation jobs (DM, KB, EA, JT, RM, JVF), pp. 473–477.
- SAC-2012-ScandurraAYD #case study #functional #modelling #requirements #state machine
- Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.
- SAC-2012-ScholteRBK #analysis #empirical #web
- An empirical analysis of input validation mechanisms in web applications and languages (TS, WKR, DB, EK), pp. 1419–1426.
- SAC-2012-TiwariG #case study
- Statechart-based use case requirement validation of event-driven systems (ST, AG), pp. 1091–1093.
- CASE-2012-DhananjayanS #automation #design #realtime #requirements #specification
- Automating timed specification transparency for human designer validation of real-time discrete-event control requirements (AD, KTS), pp. 908–913.
- CASE-2012-LiuS #injection #modelling
- Modeling and experimental validation of air-fuel ratio under individual cylinder fuel injection for port-injection engines (YL, TS), pp. 256–260.
- DAC-2012-LinHFHM #debugging #detection #effectiveness
- Quick detection of difficult bugs for effective post-silicon validation (DL, TH, FF, NH, SM), pp. 561–566.
- DATE-2012-CampagnaV #architecture #detection #fault #hybrid
- An hybrid architecture to detect transient faults in microprocessors: An experimental validation (SC, MV), pp. 1433–1438.
ESOP-2012-JourdanPL #lr #parsing- Validating LR(1) Parsers (JHJ, FP, XL), pp. 397–416.
- FASE-2012-MauczkaHSSBG #automation #classification #commit #maintenance #taxonomy
- Tracing Your Maintenance Work — A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages (AM, MH, CS, WS, MB, TG), pp. 301–315.
TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
- CAV-2012-CimattiCLNRRST #industrial #verification
- Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System (AC, RC, AL, IN, TR, MR, AS, AT), pp. 378–393.
- ISSTA-2012-AlkhalafCFBOK #analysis #consistency #difference #named #nondeterminism #string
- ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
- CSEET-2011-LiB #education #process #re-engineering #research #verification
- Making winners for both education and research: Verification and validation process improvement practice in a software engineering course (QL, BWB), pp. 304–313.
- SCAM-2011-Mehlich #c #memory management #named
- CheckPointer — A C Memory Access Validator (MM), pp. 165–172.
WCRE-2011-GuoWGG #empirical- An Empirical Validation of the Benefits of Adhering to the Law of Demeter (YG, MW, EG, HCG), pp. 239–243.
- CHI-2011-RohsOS #interactive #lens
- Interaction with magic lenses: real-world validation of a Fitts’ Law model (MR, AO, TS), pp. 2725–2728.
- DHM-2011-CloutierBY #modelling
- Motion Capture Experiments for Validating Optimization-Based Human Models (AC, RB, J(Y), pp. 59–68.
- DHM-2011-WelkePRJ #analysis #how #modelling #what
- What Is Human? How the Analysis of Brain Dynamics Can Help to Improve and Validate Driver Models (SW, JP, MR, TJ), pp. 513–522.
- DUXU-v2-2011-NemeryBK #design #persuasion #social #user interface
- First Validation of Persuasive Criteria for Designing and Evaluating the Social Influence of User Interfaces: Justification of a Guideline (AN, EB, SK), pp. 616–624.
- HCI-UA-2011-MitchellGLA #video
- Validating Video Analytics in Mission Critical Applications (SJM, SG, SL, BA), pp. 394–402.
- CAiSE-2011-GronerWBPWHGS #process #product line
- Validation of Families of Business Processes (GG, CW, MB, FSP, TW, FH, DG, SS), pp. 551–565.
- SEKE-2011-ChenHS #adaptation #analysis #modelling #process #towards
- Towards Modeling and Validating Analysis Processes for Software Adaptation (XC, GH, LS), pp. 547–552.
- SEKE-2011-GuedesV #analysis #case study #metamodelling #multi #requirements #uml
- Applying and Validating a UML Metamodel for the Requirements Analysis in Multi-Agent Systems: The AME-A Case Study (GTAG, RMV), pp. 746–751.
- ECMFA-2011-JainKP #development #modelling
- A SysML Profile for Development and Early Validation of TLM 2.0 Models (VJ, AK, PRP), pp. 299–311.
PLEASE-2011-AsirelliBFGM #design #product line #variability- Design and validation of variability in product lines (PA, MHtB, AF, SG, FM), pp. 25–30.
TOOLS-EUROPE-2011-KuhlmannHG #modelling #ocl #satisfiability- Extensive Validation of OCL Models by Integrating SAT Solving into USE (MK, LH, MG), pp. 290–306.
PADL-2011-Kaivola #execution #framework #functional- Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
- PLDI-2011-TristanGM
- Evaluating value-graph translation validation for LLVM (JBT, PG, GM), pp. 295–305.
- SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing
- Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
- ASE-2011-BergmannHHRUV #emf #implementation #performance #tool support
- Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
- ASE-2011-GhabiE
- Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation (AG, AE), pp. 416–419.
- ASE-2011-KamalrudinG #generative #prototype #requirements #user interface
- Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.
- ASE-2011-NguyenNNN #fault #html #php
- Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (HVN, HAN, TTN, TNN), pp. 13–22.
- ESEC-FSE-2011-CostacheKK #design #implementation #process
- Design and validation of feature-based process model tailoring: a sample implementation of PDE (DC, GK, MK), pp. 464–467.
- ICSE-2011-CasoBGU #abstraction #behaviour
- Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.
- SAC-2011-LuKNB #analysis #approach #embedded #realtime #simulation #statistics
- A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems (YL, JK, TN, IB), pp. 711–716.
GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #verification- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
- CASE-2011-ChuYSS #probability #simulation
- Validation of stochastic traffic flow model with microscopic traffic simulation (KCC, LY, RS, KS), pp. 672–677.
- DAC-2011-AdirNSZMS #verification
- Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor (AA, AN, GS, AZ, CM, JS), pp. 569–574.
- DAC-2011-MillerBHDCB #analysis #testing
- A method to leverage pre-silicon collateral and analysis for post-silicon testing and validation (GM, BB, YCH, JD, XC, GB), pp. 575–578.
- DAC-2011-SingermanAB #transaction
- Transaction based pre-to-post silicon validation (ES, YA, SB), pp. 564–568.
- DATE-2011-AdirCLNSZMS #verification
- A unified methodology for pre-silicon verification and post-silicon validation (AA, SC, SL, AN, GS, AZ, CM, JS), pp. 1590–1595.
- DATE-2011-LiuSTV #design #generative #towards #using
- Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.
- DATE-2011-LiuV #analysis #generative #performance #source code
- Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
FoSSaCS-2011-MollerS #context-free grammar #html- HTML Validation of Context-Free Languages (AM, MS), pp. 426–440.
- CAV-2011-SteppTL
- Equality-Based Translation Validator for LLVM (MS, RT, SL), pp. 737–742.
- QoSA-2010-BabkaTB #modelling #performance #predict #random
- Validating Model-Driven Performance Predictions on Random Software Systems (VB, PT, LB), pp. 3–19.
DRR-2010-ChenMT #automation #performance #using #word- Efficient automatic OCR word validation using word partial format derivation and language model (SC, DM, GRT), pp. 1–10.
- SCAM-2010-ThomasAHB #evolution #modelling #topic #using
- Validating the Use of Topic Models for Software Evolution (SWT, BA, AEH, DB), pp. 55–64.
ILC-2010-YuasaY #low level #using- Validating low-level instructions for fixnums using BDDs (SY, MY), pp. 11–20.
- VS-Games-2010-YusoffCG #game studies #using
- Validation of Serious Games Attributes Using the Technology Acceptance Model (AY, RC, LG), pp. 45–51.
- ICEIS-ISAS-2010-Dupuy-ChessaRM #community #design #information management #towards
- Towards a Community for Information System Design Validation (SDC, DR, NM), pp. 362–367.
- ICEIS-SAIC-2010-CanturkS #distributed
- Service Acquisition and Validation in a Distributed Service Discovery System Consisting of Domain-specific Sub-systems (DC, PS), pp. 93–99.
- ICPR-2010-ZhangW10a #modelling #random
- LLN-based Model-Driven Validation of Data Points for Random Sample Consensus Methods (LZ, DW), pp. 3436–3439.
- KEOD-2010-KezadriP #ontology #towards #verification
- First Steps Toward a Verification and Validation Ontology (MK, MP), pp. 440–444.
KMIS-2010-Bani-HaniHJ - Knowledge Validation in SMEs (AIBH, CJH, TWJ), pp. 354–357.
- KMIS-2010-SrivastavaS #composition #game studies #using
- The Validation of a Dynamic Service Composition Model using a Simple Game (AS, PGS), pp. 260–266.
- MoDELS-v1-2010-LucioBA #automation #model transformation
- A Technique for Automatic Validation of Model Transformations (LL, BB, VA), pp. 136–150.
- POPL-2010-TristanL #pipes and filters
- A simple, verified validator for software pipelining (JBT, XL), pp. 83–92.
- SAS-2010-Goldberg #framework #in memory #memory management #optimisation #pipes and filters
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework — In Memory of Amir Pnueli (BG), pp. 6–21.
- REFSQ-2010-SakhniniBM #effectiveness #elicitation #requirements
- Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation (VS, DMB, LM), pp. 91–105.
- SAC-OOPS-J-2008-LogozzoF10 #abstract domain #array #named #performance #relational
- Pentagons: A weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 796–807.
- ASE-2010-GabrysiakGS #behaviour #interactive #multi #process #requirements
- Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.
- ASE-2010-TanejaLMXT #multi #named #testing #web
- MiTV: multiple-implementation testing of user-input validators for web applications (KT, NL, MRM, TX, NT), pp. 131–134.
- ICSE-2010-Caso #behaviour #re-engineering
- Behavioural validation of software engineering artefacts (GdC), pp. 335–336.
- ICSE-2010-Caso10a #behaviour #re-engineering
- Behavioural validation of software engineering artefacts (GdC), pp. 505–506.
- ICSE-2010-ChiappiniCMRRSTV #formal method #set
- Formalization and validation of a subset of the European Train Control System (AC, AC, LM, OR, MR, AS, ST, BV), pp. 109–118.
- SAC-2010-AraujoSCA #process
- A method for validating the compliance of business processes to business rules (BdMA, EAS, ALC, AJA), pp. 145–149.
- SAC-2010-EspositoFd #nondeterminism
- Recovering uncertain mappings through structural validation and aggregation with the MoTo system (FE, NF, Cd), pp. 1428–1432.
- SAC-2010-FariaMLPA #interactive #visual notation
- A new methodology for photometric validation in vehicles visual interactive systems (AWCF, DM, DSDL, GLP, AdAA), pp. 948–953.
- SAC-2010-HeinzlS #using #xml
- Using XML schema to improve writing, validation, and structure of WS-policies (SH, BS), pp. 2422–2429.
- CASE-2010-BarajasBGY #automation
- Virtual Launch & Validation of Manufacturing Automation Controls (LGB, SB, FG, CY), pp. 412–419.
- CASE-2010-DhupatiKRR #analysis #detection #novel #speech #using
- A novel drowsiness detection scheme based on speech analysis with validation using simultaneous EEG recordings (LSD, SK, AR, AR), pp. 917–921.
CC-2010-RideauL - Validating Register Allocation and Spilling (SR, XL), pp. 224–243.
- DAC-2010-KeshavaHP #challenge #how
- Post-silicon validation challenges: how EDA and academia can help (JK, NH, CP), pp. 3–7.
- DAC-2010-MitraSN #challenge
- Post-silicon validation opportunities, challenges and recent advances (SM, SAS, NN), pp. 12–17.
- DAC-2010-NahirZGHACBFBK #verification
- Bridging pre-silicon verification and post-silicon validation (AN, AZ, RG, AJH, MA, AC, BB, HF, VB, SK), pp. 94–95.
- FASE-2010-GhezziMS #automation #case study #multi #specification
- Automatic Cross Validation of Multiple Specifications: A Case Study (CG, AM, GS), pp. 233–247.
- ICST-2010-FeldtTAR #challenge #industrial #process #verification
- Challenges with Software Verification and Validation Activities in the Space Industry (RF, RT, EA, BR), pp. 225–234.
- ICST-2010-Laurent #concept #formal method #process #testing #using #verification
- Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process (OL), pp. 1–10.
- DHM-2009-SummerskillMCGSD #case study #evaluation #using
- Validation of the HADRIAN System Using an ATM Evaluation Case Study (SJS, RM, KC, DEG, RES, PD), pp. 727–736.
- HCD-2009-MarcusGS #maturity #standard #usability
- Validating a Standardized Usability/User-Experience Maturity Model: A Progress Report (AM, RG, RS), pp. 104–109.
- HCI-NT-2009-BomsdorfS #modelling #requirements #specification #user interface
- Model-Based Specification and Validation of User Interface Requirements (BB, DS), pp. 587–596.
- HCI-NT-2009-LeuteritzWK #multi #usability
- Multi-level Validation of the ISOmetrics Questionnaire Based on Qualitative and Quantitative Data Obtained from a Conventional Usability Test (JPL, HW, MK), pp. 304–313.
- HCI-NT-2009-MorandiniCS #prototype #web
- A Prototype to Validate ErgoCoIn: A Web Site Ergonomic Inspection Technique (MM, WdAC, DLS), pp. 339–348.
- HCI-VAD-2009-SancarCITOE #case study #education
- Developing a Validation Methodology for Educational Driving Simulators and a Case Study (HS, KÇ, VI, GT, NO, UE), pp. 760–769.
- ICEIS-ISAS-2009-KillispergerPSS #generative #process
- Method Manual based Process Generation and Validation (PK, GP, MS, TS), pp. 256–261.
- ICEIS-J-2009-KrohaR #generative #requirements
- Text Generation for Requirements Validation (PK, MR), pp. 467–478.
- ICEIS-SAIC-2009-BodenstaffWWJR #composition #design #monitoring
- Monitoring Service Compositions in MoDe4SLA — Design of Validation (LB, AW, RW, MCJ, MR), pp. 114–121.
- KEOD-2009-GarridoR #assessment #information management #representation #requirements
- Knowledge Representation in Environmental Impact Assessment — A Case of Study with High Level Requirements in Validation (JG, IR), pp. 412–415.
- KEOD-2009-StanevOW #design #formal method #modelling
- Formal Method for Validation of Product Design through Knowledge Modelling (SS, JO, WW), pp. 166–170.
- SEKE-2009-SalamahBBPFC #specification #tool support
- Enhancing Property Specification Tools With Validation Techniques (SS, MDB, EB, SP, DF, LC), pp. 487–492.
- MoDELS-2009-DhaussyPCRTB
- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
- MoDELS-2009-DhaussyPCRTB
- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
- AdaEurope-2009-DelangePF #architecture #requirements #safety #security
- Validating Safety and Security Requirements for Partitioned Architectures (JD, LP, PHF), pp. 30–43.
- PLDI-2009-TristanL #lazy evaluation
- Verified validation of lazy code motion (JBT, XL), pp. 316–326.
SIGAda-2009-DelangePPKSK #simulation #using- Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.
- RE-2009-JuretaMF #analysis #multi #requirements
- Analysis of Multi-Party Agreement in Requirements Validation (IJ, JM, SF), pp. 57–66.
- ASE-2009-CavadaCMMMMPRST #requirements
- Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.
- ASE-2009-GherbiKKHT #generative
- A Tool Suite for the Generation and Validation of Configurations for Software Availability (AG, AK, FK, AHL, MT), pp. 671–673.
- ASE-2009-Jenson #component #constraints #dependence #verification
- Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.
- ASE-2009-RayMACSM #using #verification
- Validating Automotive Control Software Using Instrumentation-Based Verification (AR, IM, CA, RC, CPS, CM), pp. 15–25.
- ASE-2009-SaebjoernsenJQS #c #metaprogramming #preprocessor
- Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
- ICSE-2009-CasoBGU #abstraction #contract #finite #using
- Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
- SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml
- Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
- SAC-2009-SilvaAM #approach #component #empirical #testing
- An approach for component testing and its empirical validation (FRCS, ESdA, SRdLM), pp. 574–581.
- SLE-2009-GroenewegenV #domain-specific language #integration #user interface #web
- Integration of Data Validation and User Interface Concerns in a DSL for Web Applications (DMG, EV), pp. 164–173.
- ASPLOS-2009-DimitrovZ #approach #automation #debugging #predict
- Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging (MD, HZ), pp. 61–72.
- ASPLOS-2009-TucekXZ #execution #online #performance
- Efficient online validation with delta execution (JT, WX, YZ), pp. 193–204.
- DAC-2009-LiuX #design
- Interconnection fabric design for tracing signals in post-silicon validation (XL, QX), pp. 352–357.
- DAC-2009-TamPB #automation
- Automated failure population creation for validating integrated circuit diagnosis methods (WCT, OP, RD(B), pp. 708–713.
- DATE-2009-KochteZIKRWCP #modelling #transaction #using
- Test exploration and validation using transaction level models (MAK, CGZ, MEI, RSK, MR, HJW, SDC, PP), pp. 1250–1253.
- DATE-2009-LiuX
- Trace signal selection for visibility enhancement in post-silicon validation (XL, QX), pp. 1338–1343.
HPCA-2009-DeOrioWB #design #manycore #memory management #named- Dacota: Post-silicon validation of the memory subsystem in multi-core designs (AD, IW, VB), pp. 405–416.
- FASE-2009-JahierHR #inheritance #modelling
- Synchronous Modeling and Validation of Priority Inheritance Schedulers (EJ, NH, PR), pp. 140–154.
- CAV-2009-CimattiRT #hybrid #requirements
- Requirements Validation for Hybrid Systems (AC, MR, ST), pp. 188–203.
- CAV-2009-KaivolaGNTWPSTFRN #execution #testing #verification
- Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation (RK, RG, NN, AT, JW, SP, AS, CT, VF, ER, AN), pp. 414–429.
- CAV-2009-RyabtsevS #c
- Translation Validation: From Simulink to C (MR, OS), pp. 696–701.
- ICST-2009-AydalPUW #modelling #specification #testing
- Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation (EGA, RFP, MU, JW), pp. 131–140.
- ICST-2009-KorelZT #source code
- Assertion-Based Validation of Modified Programs (BK, QZ, LT), pp. 426–435.
CBSE-2008-SunHM #data access- Validating Access Control Configurations in J2EE Applications (LS, GH, HM), pp. 64–79.
SIGITE-2008-JovanovicC #agile #education #modelling- Teaching agile validation of data models (VMJ, LC), pp. 139–146.
- CSMR-2008-LiTLMC #requirements #verification
- Coping with Requirements Changes in Software Verification and Validation (SL, LT, WL, MM, GC), pp. 317–318.
PASTE-2008-DeRD #java #memory management- Java memory model aware software validation (AD, AR, DD), pp. 8–14.
- PASTE-2008-ZaksP #compilation #program analysis
- Program analysis for compiler validation (AZ, AP), pp. 1–7.
- FM-2008-ZaksP #compilation #named #program analysis
- CoVaC: Compiler Validation by Program Analysis of the Cross-Product (AZ, AP), pp. 35–51.
ICGT-2008-Dang #behaviour #graph grammar #ocl- Triple Graph Grammars and OCL for Validating System Behavior (DHD), pp. 481–483.
- ICEIS-HCI-2008-FurtadoSFC #case study #communication #design #interactive #requirements
- Promoting Communication and Participation through Enactments of Interaction Design Solutions — A Study Case for Validating Requirements for Digital TV (EF, AS, FF, LC), pp. 268–275.
- ICEIS-HCI-2008-LevisHB #empirical
- Form Input Validation — An Empirical Study on Irish Corporate Websites (ML, MH, MB), pp. 148–153.
- ICPR-2008-ChamaretM #using #video
- Attention-based video reframing: Validation using eye-tracking (CC, OLM), pp. 1–4.
- ICPR-2008-RastgarZWD #estimation #robust
- Validation of correspondences in MLESAC robust estimation (HR, LZ, DW, ED), pp. 1–4.
- SEKE-2008-NakaoaTM #case study #independence #verification
- Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems — A Case Study (HN, AT, JM), pp. 167–172.
- ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net
- Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.
- ECMDA-FA-2008-NogueraD #domain model #framework #modelling #using
- Annotation Framework Validation Using Domain Models (CN, LD), pp. 48–62.
- MoDELS-2008-ObataI #modelling
- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.
- MoDELS-2008-SinhaKPW #case study #modelling #requirements #using
- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
- SPLC-2008-MagroGP #product line
- A Software Product Line Definition for Validation Environments (BM, JG, JP), pp. 45–54.
- MoDELS-2008-ObataI #modelling
- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.
- MoDELS-2008-SinhaKPW #case study #modelling #requirements #using
- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
- TOOLS-EUROPE-2008-AydalUW #comparison #modelling #tool support
- A Comparison of State-Based Modelling Tools for Model Validation (EGA, MU, JW), pp. 278–296.
- POPL-2008-TristanL #case study #optimisation #scheduling #verification
- Formal verification of translation validators: a case study on instruction scheduling optimizations (JBT, XL), pp. 17–27.
- ASE-2008-Hall #modelling #queue #realtime #specification #using
- Validating Real Time Specifications using Real Time Event Queue Modeling (RJH), pp. 79–88.
- ICSE-2008-ScaffidiMS #abstraction #named #reuse
- Topes: reusable abstractions for validating data (CS, BAM, MS), pp. 1–10.
- ICSE-2008-ScaffidiMS08a #tool support
- Tool support for data validation by end-user programmers (CS, BAM, MS), pp. 867–870.
- SAC-2008-AntonyBHP #approach #biology #interactive #mining #using
- Computational approach to biological validation of protein-protein interactions discovered using literature mining (AA, SB, SH, MJP), pp. 1302–1306.
- SAC-2008-Klugl #simulation
- A validation methodology for agent-based simulations (FK), pp. 39–43.
- SAC-2008-LogozzoF #abstract domain #array #named #performance #relational
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 184–188.
- DATE-2008-CosteGHHTZ #architecture #design #embedded #evaluation #parallel #thread
- Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures (NC, HG, HH, RH, YT, MZ), pp. 88–89.
- DATE-2008-GheorgheBNB #modelling #semantics
- Semantics for Model-Based Validation of Continuous/Discrete Systems (LG, FB, GN, HB), pp. 498–503.
- DATE-2008-KoN #automation #identification
- Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation (HFK, NN), pp. 1298–1303.
- DATE-2008-KoN08a #automation #generative #on the
- On Automated Trigger Event Generation in Post-Silicon Validation (HFK, NN), pp. 256–259.
- DATE-2008-WuH #algorithm #design #performance
- Efficient Design Validation Based on Cultural Algorithms (WW, MSH), pp. 402–407.
- HPCA-2008-ChenMP #constraints #graph #memory management #runtime #using
- Runtime validation of memory ordering using constraint graph checking (KC, SM, PP), pp. 415–426.
- HPCA-2008-KumarA #trade-off
- Speculative instruction validation for performance-reliability trade-off (SK, AA), pp. 405–414.
OSDI-2008-WilliamsRWSS #safety- Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
- CAV-2008-KunduLG #synthesis
- Validating High-Level Synthesis (SK, SL, RG), pp. 459–472.
- CAV-2008-WilhelmW #abstract interpretation
- Abstract Interpretation with Applications to Timing Validation (RW, BW), pp. 22–36.
MBT-2008-PonsG #approach #lightweight #semantics- A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.
- CBSE-2007-BaiWDTC #collaboration #contract #framework #verification #web #web service
- A Framework for Contract-Based Collaborative Verification and Validation of Web Services (XB, YW, GD, WTT, YC), pp. 258–273.
WICSA-2007-CortellessaMI #architecture #modelling #non-functional- Non-Functional Modeling and Validation in Model-Driven Architecture (VC, ADM, PI), p. 25.
- CSMR-2007-AoumeurBS #adaptation #component #distributed #incremental #information management #runtime #specification
- Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems (NA, KB, GS), pp. 123–136.
ICPC-2007-LangeC #comprehension #interactive #modelling #uml- Interactive Views to Improve the Comprehension of UML Models — An Experimental Validation (CFJL, MRVC), pp. 221–230.
- ICSM-2007-RenC #named #testing #tool support
- ATTEST: A Testing Toolkit for Validating Software Properties (Y(R, FC), pp. 469–472.
- PASTE-2007-ChinMMM #programming
- Enforcing and validating user-defined programming disciplines (BC, DM, SM, TDM), pp. 85–86.
- IFM-2007-PlaggeL #model checking #specification #using
- Validating Z Specifications Using the ProBAnimator and Model Checker (DP, ML), pp. 480–500.
- SEFM-2007-KumarG #modelling
- Recovery from DoS Attacks in MIPv6: Modeling and Validation (MCK, KG), pp. 205–214.
ICFP-2007-SimsD #case study #experience- Experience report: the reactis validation tool (SS, DCD), pp. 137–140.
- CHI-2007-ClarksonLCS
- Revisiting and validating a model of two-thumb text entry (EC, KL, JC, TS), pp. 163–166.
- DHM-2007-MariasDSZGMMT #analysis #information management #modelling #multi
- Multi-level Analysis and Information Extraction Considerations for Validating 4D Models of Human Function (KM, DDD, GSS, FZ, ECG, TM, TGM, IGT), pp. 703–709.
- DHM-2007-SutherlandD #aspect-oriented
- Validating Optical Motion Capture Assessments of the Dynamic Aspects of Work (JS, VGD), pp. 197–204.
- DHM-2007-YangRMAH #predict
- Validation of Predicted Posture for the Virtual Human SantosTM (JY, SR, TM, KAM, CH), pp. 500–510.
- HCI-IDU-2007-CortierdA #java #user interface
- Formal Validation of Java/Swing User Interfaces with the Event B Method (AC, Bd, YAA), pp. 1062–1071.
- HCI-IDU-2007-LingLX #complexity #using #web
- Validating Information Complexity Questionnaires Using Travel Web Sites (CL, ML, JX), pp. 901–910.
- HCI-IPT-2007-CowellHBFBJDJF #analysis #framework
- Construction and Validation of a Neurophysio-technological Framework for Imagery Analysis (AJC, KSH, CB, SF, AB, DJ, GD, RJ, RF), pp. 1096–1105.
- HIMI-IIE-2007-Sanchez-PueblaAD #evaluation #interface #parametricity #predict
- Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces (MASP, IA, PD), pp. 1109–1118.
- CAiSE-2007-WeerdBV #concept #empirical #evolution #incremental #requirements
- Concepts for Incremental Method Evolution: Empirical Exploration and Validation in Requirements Management (IvdW, SB, JV), pp. 469–484.
EDOC-2007-TapiaDE #maturity- Validating Adequacy and Suitability of Business-IT Alignment Criteria in an Inter-Enterprise Maturity Model 202 (RST, MD, PvE), pp. 202–213.
- KDD-2007-TandonC #detection #network
- Weighting versus pruning in rule validation for detecting network and host anomalies (GT, PKC), pp. 697–706.
- SEKE-2007-FuDASH #approach #correctness #java
- An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
- SEKE-2007-WeiAZ #effectiveness #framework #network
- Validating A Layered Decision Framework for Cost-Effective Network Defense (HW, JAF, DZ), pp. 105–110.
- ECMDA-FA-2007-UlrichP #case study #distributed #industrial #modelling #reverse engineering
- Reverse Engineering Models from Traces to Validate Distributed Systems — An Industrial Case Study (AU, AP), pp. 184–193.
- MoDELS-2007-AbrahaoMGI #automation #design #metric #modelling #web
- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.
- MoDELS-2007-AbrahaoMGI #automation #design #metric #modelling #web
- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.
- TOOLS-EUROPE-2007-Vicente-ChicoteMA #modelling #named #pretty-printing #requirements #specification
- REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting (CVC, BM, JATÁ), pp. 437–454.
- RE-2007-YuNGCMELV #aspect-oriented
- Tracing and Validating Goal Aspects (YY, NN, BGB, WC, JM, SME, JCSdPL, GV), pp. 53–56.
- ASE-2007-ChangR #execution
- Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.
- ASE-2007-Hall #infinity #modelling #named #realtime
- Rteq: modeling and validating infinite-state hard-real-time systems (RJH), pp. 481–484.
- ICSE-2007-FroihoferGOG #constraints #evaluation #java #overview
- Overview and Evaluation of Constraint Validation Approaches in Java (LF, GG, JO, KMG), pp. 313–322.
- ICSE-2007-PistoiaFFY #enterprise #modelling #policy #security
- When Role Models Have Flaws: Static Validation of Enterprise Security Policies (MP, SJF, RJF, EY), pp. 478–488.
- DAC-2007-AdirAFJP #architecture #framework
- A Framework for the Validation of Processor Architecture Compliance (AA, SA, LF, IJ, OP), pp. 902–905.
- DAC-2007-BhatiaGTMM #equivalence #multi #performance
- Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation (LB, JG, PT, RSM, SHM), pp. 69–74.
- DAC-2007-KamhiMMNWKMKC #design #power management #question
- Early Power-Aware Design & Validation: Myth or Reality? (GK, SM, SBM, WN, YCW, JK, EM, SVK, SC), pp. 210–211.
- DAC-2007-PatelS #design #modelling
- Model-driven Validation of SystemC Designs (HDP, SKS), pp. 29–34.
- DATE-2007-BombieriFP #design #functional #incremental #refinement
- Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.
- DATE-2007-FengZTC #design #fault #metric
- Clock domain crossing fault model and coverage metric for validation of SoC design (YF, ZZ, DT, XC), pp. 1385–1390.
- DATE-2007-MatarreseMCDB #algorithm #performance
- Experimental validation of a tuning algorithm for high-speed filters (GM, CM, FC, SD, AB), pp. 421–426.
- DATE-2007-MathaikuttySKLD #design #fault #generative #testing
- Design fault directed test generation for microprocessor validation (DM, SKS, SVK, DJL, AD), pp. 761–766.
- DATE-2007-ZhuSD #functional #interactive #pipes and filters
- Interactive presentation: Functional and timing validation of partially bypassed processor pipelines (QZ, AS, ND), pp. 1164–1169.
- ICSM-2006-JansenB #delivery #deployment #process
- Definition and Validation of the Key process of Release, Delivery and Deployment for Product Software Vendors: turning the ugly duckling into a swan (SJ, SB), pp. 166–175.
- ICSM-2006-LiuT #approach #comprehension #maintenance
- An Approach to Aid the Understanding and Maintenance of Input Validation (HL, HBKT), pp. 370–379.
- SCAM-2006-NogueraP #java #named #programming
- AVal: an Extensible Attribute-Oriented Programming Validator for Java (CN, RP), pp. 175–183.
- FM-2006-Cohen
- Validating the Microsoft Hypervisor (EC), p. 81.
- FM-2006-VerhoefLH #distributed #embedded #modelling #realtime
- Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
- SEFM-2006-KanadeSK #compilation #framework #optimisation
- A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.
- SEFM-2006-SukumaranSV #approach #requirements
- A Rigorous Approach to Requirements Validation (SS, AS, RV), pp. 236–245.
- ICEIS-ISAS-2006-BokhariP #information management #petri net #using
- Validation of Information Systems Using Petri Nets (AB, WFSP), pp. 284–289.
- ICEIS-ISAS-2006-PetersenLA #elicitation #modelling #requirements
- Interoperablity Requirements Elicitation, Validation and Solutions Modelling (SAP, FML, MA), pp. 152–159.
- ICEIS-J-2006-PetersenLA06a #elicitation #modelling #requirements #visualisation
- Modelling and Visualisation for Interoperability Requirements Elicitation and Validation (SAP, FML, MA), pp. 241–253.
- CIKM-2006-CoutoSC #biology #database
- Validating associations in biological databases (FMC, MJS, PC), pp. 142–151.
- CIKM-2006-YangJZNX #clustering #documentation #ranking #using
- Document re-ranking using cluster validation and label propagation (LY, DHJ, GZ, NY, GX), pp. 690–697.
- ICPR-v1-2006-EvansF
- Cross Validation and Segment Support for Stereo Belief Propagati (ME, JMF), pp. 115–118.
- ICPR-v1-2006-LublinermanOZC #linear #process #recognition #using
- Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques (RL, NO, DZ, OIC), pp. 347–350.
- KDD-2006-GuoV #mining #multi #relational
- Mining relational data through correlation-based multiple view validation (HG, HLV), pp. 567–573.
- KDD-2006-XiongWC #clustering #metric #perspective
- K-means clustering versus validation measures: a data distribution perspective (HX, JW, JC), pp. 779–784.
PPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict- Combining fuzzy logic and behavioral similarity for non-strict program validation (CDR, JB, TD), pp. 15–26.
- ICSE-2006-JiangS #c #correctness #named #source code #type system
- Osprey: a practical type system for validating dimensional unit correctness of C programs (LJ, ZS), pp. 262–271.
- DAC-2006-MajumdarCG #analysis
- Hold time validation on silicon and the relevance of hazards in timing analysis (AM, WYC, JG), pp. 326–331.
- DATE-2006-Harris #metric #process
- A coverage metric for the validation of interacting processes (IGH), pp. 1019–1024.
- DATE-2006-KooM #functional #generative #pipes and filters #testing #using
- Functional test generation using property decompositions for validation of pipelined processors (HMK, PM), pp. 1240–1245.
PDP-2006-EssadiG #distributed #parallel- An Experimental Validation of the PRO Model for Parallel and Distributed Computation (ME, JG), pp. 449–456.
- PDP-2006-GarciaHL #communication #petri net #protocol #using
- Validation of a Protocol for Communication Management in CSCW Systems Using a Coloured-Petri Net Modelization (ÉG, JH, JCL), pp. 272–275.
- ISSTA-2006-CentonzeNFP #consistency #data access
- Role-Based access control consistency validation (PC, GN, SJF, MP), pp. 121–132.
- DRR-2005-OertelOBB #documentation #recognition #using #web
- Using the web to validate document recognition results: experiments with business cards (CO, SO, AB, DB), pp. 17–27.
ECDL-2005-Warner - The OAI Data-Provider Registration and Validation Service (SW), pp. 491–492.
ICDAR-2005-KanounAL #approach #recognition #word- Affixal Approach for Arabic Decomposable Vocabulary Recognition: A Validation on Printed Word in Only One Font (SK, AMA, YL), pp. 1025–1029.
- ITiCSE-2005-NugentSSPL #design #development #learning
- Design, development, and validation of a learning object for CS1 (GN, LKS, AS, SP, JL), p. 370.
- FM-2005-RusuMJ #automation #consistency #safety #testing #verification
- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.
LSO-2005-Salo #agile #development #learning- Systematical Validation of Learning in Agile Software Development Environment (OS), pp. 92–96.
- SEKE-2005-BeydounGLH #metamodelling #multi #towards
- Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel (GB, CGP, GL, BHS), pp. 51–56.
- PPDP-2005-KirchnerMR #pattern matching
- Formal validation of pattern matching code (CK, PEM, AR), pp. 187–197.
- RE-2005-Some #case study #requirements
- Use Cases based Requirements Validation with Scenarios (SSS), pp. 465–466.
- ESEC-FSE-2005-Sherriff #fault #verification
- Utilizing verification and validation certificates to estimate software defect density (MS), pp. 381–384.
- ICSE-2005-ChatleyUKM #animation #requirements #web
- Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.
- ICSE-2005-MenziesPCHS #modelling
- Validation methods for calibrating software effort models (TM, DP, ZC, JH, SS), pp. 587–595.
- SAC-2005-DiazLPCV #approach #behaviour #e-commerce #probability #protocol #realtime #set
- An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol (GD, KGL, JJP, FC, VV), pp. 815–820.
- SAC-2005-TrentiniM #framework #java #petri net #realtime
- Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.
COCV-J-2005-HuBGP #optimisation- Validating More Loop Optimizations (YH, CWB, BG, AP), pp. 69–84.
- DATE-2005-AbdiG #functional #scheduling
- Functional Validation of System Level Static Scheduling (SA, DDG), pp. 542–547.
- DATE-2005-MishraD #functional #generative #pipes and filters #testing
- Functional Coverage Driven Test Generation for Validation of Pipelined Processors (PM, NDD), pp. 678–683.
HPDC-2005-LuCSG #streaming- A streaming validation model for SOAP digital signature (WL, KC, AS, DG), pp. 243–252.
A-MOST-2005-BouquetJLPU #automation #generative #requirements #smarttech #testing #traceability- Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU), pp. 44–50.
- A-MOST-2005-LiN #image #modelling #testing #verification
- Modeling for image processing system validation, verification and testing (XL, RN), pp. 92–95.
- CAV-2005-ArmandoBBCCCDHKMMORSTVV #automation #internet #protocol #security
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (AA, DAB, YB, YC, LC, JC, PHD, PCH, OK, JM, SM, DvO, MR, JS, MT, LV, LV), pp. 281–285.
- CAV-2005-BarrettFGHPZ #compilation #named #optimisation
- TVOC: A Translation Validator for Optimizing Compilers (CWB, YF, BG, YH, AP, LDZ), pp. 291–295.
- CAV-2005-Bentley
- Validating a Modern Microprocessor (BB), pp. 2–4.
- TestCom-2005-Maibaum #testing #verification
- The Epistemology of Validation and Verification Testing (TSEM), pp. 1–8.
- VMCAI-2005-Martel #overview #semantics #source code
- An Overview of Semantics for the Validation of Numerical Programs (MM), pp. 59–77.
VLDB-2004-TenienteFUBG #named- SVT: Schema Validation Tool for Microsoft SQL-Server (ET, CF, TU, CB, DG), pp. 1349–1352.
- ICSM-2004-EverittTT #architecture #evaluation #process
- Validating and Improving an Existing Software Architectural Evaluation Process (TE, RTT, JDT), pp. 417–421.
- PASTE-2004-Martel #assembly #source code
- Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.
- SEFM-2004-HuBG #algorithm #generative #optimisation
- Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations (YH, CWB, BG), pp. 281–289.
- CAiSE-2004-SerranoCTLP #concept #empirical #metric #modelling
- Empirical Validation of Metrics for Conceptual Models of Data Warehouses (MAS, CC, JT, SLM, MP), pp. 506–520.
- CIKM-2004-NiuJT #clustering #documentation
- Document clustering based on cluster validation (ZYN, DHJ, CLT), pp. 501–506.
- ICPR-v2-2004-HanheideBS #consistency #memory management
- Memory Consistency Validation in a Cognitive Vision System (MH, CB, GS), pp. 459–462.
- SEKE-2004-CorreaW #approach #specification #transaction
- Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios (ALC, CMLW), pp. 294–299.
- SEKE-2004-LeeR #case study #re-engineering #research
- Case Study Methodology Designed Research in Software Engineering Methodology Validation (SWL, DCR), pp. 117–122.
- RE-2004-CorreaW #precise #specification #transaction
- Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.
- RE-2004-UchitelCKM #animation #requirements
- Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.
- ASE-2004-BousquetLMOL #case study
- Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.
- ASE-2004-CompareDMI #automation #design #experience #industrial #performance
- Automated Performance Validation of Software Design: An Industrial Experience (DC, AD, ADM, PI), pp. 298–301.
- ASE-2004-HallZ #behaviour #requirements
- Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.
- ICSE-2004-AntoniuSKNF #correctness #source code #spreadsheet
- Validating the Unit Correctness of Spreadsheet Programs (TA, PAS, SK, EN, MF), pp. 439–448.
- DATE-DF-2004-BlancGG #architecture #case study #experience
- Experiences during the Experimental Validation of the Time-Triggered Architecture (SB, JG, PJG), pp. 256–261.
- DATE-DF-2004-Thiel
- Have I Really Met Timing? — Validating PrimeTime Timing Reports with Spice (TT), pp. 114–119.
- DATE-v1-2004-GoloubevaRV #automation #generative
- Automatic Generation of Validation Stimuli for Application-Specific Processors (OG, MSR, MV), pp. 188–193.
- DATE-v1-2004-MousaviGTSB #design #framework #modelling
- Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.
- DATE-v1-2004-Wang #learning #simulation
- Regression Simulation: Applying Path-Based Learning In Delay Test and Post-Silicon Validation (LCW), pp. 692–695.
- DATE-v2-2004-DziriCWJ #component #design #integration #multi
- Unified Component Integration Flow for Multi-Processor SoC Design and Validation (MAD, WOC, FRW, AAJ), pp. 1132–1137.
- TestCom-2004-CavalliMZCMCML #multi #platform
- A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.
- TestCom-2004-SugetaMW #mutation testing #specification #testing
- Mutation Testing Applied to Validate SDL Specifications (TS, JCM, WEW), pp. 193–208.
- CSMR-2003-GibbsM #aspect-oriented #c++ #invariant #weaving
- Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.
- FME-2003-CompareIPS #analysis #architecture #lifecycle #model checking
- Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle (DC, PI, PP, AS), pp. 114–132.
RTA-2003-BartheS #framework #induction #platform- Validation of the JavaCard Platform with Implicit Induction Techniques (GB, SS), pp. 337–351.
- SEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml
- Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.
- SFM-2003-KavehE #component #design #distributed
- Validating Distributed Object and Component Designs (NK, WE), pp. 63–91.
AGTIVE-2003-QemaliT #graph transformation #towards #web- Towards Validation of Session Management in Web Applications based on Graph Transformation (AQ, GT), pp. 15–29.
- AGTIVE-2003-Taentzer #graph transformation #modelling #named
- AGG: A Graph Transformation Environment for Modeling and Validation of Software (GT), pp. 446–453.
- ICEIS-v1-2003-BouchouALD #automaton #constraints #xml
- Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints (BB, MHFA, DL, DD), pp. 184–190.
- ICEIS-v1-2003-MirandaGP #diagrams #empirical #metric #statechart #uml
- Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.
- KDD-2003-PerngTGMH #data-driven #network
- Data-driven validation, completion and construction of event relationship networks (CSP, DT, GG, SM, JLH), pp. 729–734.
- SEKE-2003-DingZSA #architecture #fault tolerance #specification
- Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model (HD, CZ, LS, GA), pp. 458–466.
UML-2003-GogollaBR #automation #generative #modelling #ocl #uml- Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.
- UML-2003-SussLWK #evolution
- Model-Centric Engineering with the Evolution and Validation Environment (JGS, AL, HW, RDK), pp. 31–43.
- ASE-2003-HallZ #overview
- Overview of OpenModel-based Validation with Partial Information (RJH, AZ), pp. 347–351.
- ESEC-FSE-2003-BaresiHTV #architecture #modelling
- Modeling and validation of service-oriented architectures: application vs. style (LB, RH, ST, DV), pp. 68–77.
- ESEC-FSE-2003-EshuisBDGR #modelling #named #performance #set
- EFFICIENT: a tool set for supporting the modelling and validation of ebXML (RE, PB, ED, BG, SR), pp. 359–362.
- ESEC-FSE-2003-SelonenX #architecture #modelling #uml
- Validating UML models against architectural profiles (PS, JX), pp. 58–67.
- SAC-2003-EngelenWY #embedded
- Validation of Code-Improving Transformations for Embedded Systems (RvE, DBW, XY), pp. 684–691.
- DATE-2003-LaurentK
- A System to Validate and Certify Soft and Hard IP (BL, TK), pp. 20208–20213.
- DATE-2003-ZhangM #implementation #independence #satisfiability #using
- Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications (LZ, SM), pp. 10880–10885.
- TACAS-2003-BarayCDM #functional #generative #testing
- Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.
- TACAS-2003-FontaineG #decidability #invariant
- Decidability of Invariant Validation for Paramaterized Systems (PF, EPG), pp. 97–112.
- ECDL-2002-XiSLF #hybrid
- Hybrid Partition Inverted Files: Experimental Validation (WX, OS, ML, EAF), pp. 422–431.
PODS-2002-SegoufinV #documentation #streaming #xml- Validating Streaming XML Documents (LS, VV), pp. 53–64.
CIAA-2002-LargeteauG #distributed #realtime- Term Validation of Distributed Hard Real-Time Applications (GL, DG), pp. 262–269.
- ICALP-2002-HermenegildoPBL #approximate #debugging #semantics #specification #using
- Program Debugging and Validation Using Semantic Approximations and Partial Specifications (MVH, GP, FB, PLG), pp. 69–72.
- CAiSE-2002-GeneroPP #concept #metric #quality
- Defining and Validating Measures for Conceptual Data Model Quality (MG, GP, MP), pp. 724–727.
- CAiSE-2002-LeicherB #component #requirements
- External Requirements Validation for Component-Based Systems (AL, FB), pp. 404–419.
- ICEIS-2002-CastelaTGL #analysis #bibliography #modelling #process
- Survey, Analysis and Validation of Information for Business Process Modeling (NC, JMT, AG, ERL), pp. 803–806.
- CIKM-2002-ChenDZ #constraints #named #xml
- XKvalidator: a constraint validator for XML (YC, SBD, YZ), pp. 446–452.
- CIKM-2002-SpanglerK #editing #interactive #taxonomy
- Interactive methods for taxonomy editing and validation (WSS, JTK), pp. 665–668.
- ICML-2002-MusleaMK02a #adaptation #automation #detection #towards
- Adaptive View Validation: A First Step Towards Automatic View Detection (IM, SM, CAK), pp. 443–450.
- ICPR-v2-2002-Andrade-CettoS #concurrent #locality
- Concurrent Map Building and Localization with Landmark Validation (JAC, AS), pp. 693–696.
- ICPR-v3-2002-LiuL #image
- Inverse Validation for Accurate Range Image Registration with Structured Data (YL, FL), pp. 537–540.
- SPLC-2002-Mannion #first-order #logic #product line #using
- Using First-Order Logic for Product Line Model Validation (MM), pp. 176–187.
- RE-2002-FenkamGJ #case study #requirements #visual notation
- Visual Requirements Validation: Case Study in a Corba-Supported Environment (PF, HCG, MJ), pp. 81–90.
- RE-2002-SutcliffG #functional #requirements
- Validating Functional System Requirements with Scenarios (AGS, AG), pp. 181–190.
- ASE-2002-CsertanHMPPV #automation #modelling #named #uml #verification #visual notation
- VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (GC, GH, IM, ZP, AP, DV), pp. 267–270.
- ASE-2002-GibbsMP #automation #c++ #invariant
- Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.
- ASE-2002-GrundyD #aspect-oriented #automation #component #using
- Automatic Validation of Deployed J2EE Components Using Aspects (JCG, GD), p. 47–?.
- ICSE-2002-AcunaLQ #process
- Human capacities in the software process: empiric validation (STA, CML, VEQ), p. 715.
- ICSE-2002-LenceviciusMR #using
- Software validation using power profiles (RL, EM, AR), p. 709.
- ICSE-2002-Schmid #approach #product line
- A comprehensive product line scoping approach and its validation (KS), pp. 593–603.
- DAC-2002-LiouKWC #analysis #performance #statistics #testing
- False-path-aware statistical timing analysis and efficient path selection for delay testing and timing validation (JJL, AK, LCW, KTC), pp. 566–569.
- DATE-2002-MunzenbergerDSH #design #embedded #realtime #specification #synthesis
- A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems (RM, MD, FS, RH), p. 1095.
- TACAS-2002-ChaH #constraints #distributed #execution #realtime
- Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems (HC, RH), pp. 83–97.
- CAV-2002-BozgaGM #component #realtime
- IF-2.0: A Validation Environment for Component-Based Real-Time Systems (MB, SG, LM), pp. 343–348.
- TestCom-2002-Horvath #ad hoc #automation #generative #modelling #protocol #testing
- Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation (EH), p. 235–?.
- ICDAR-2001-FreitasBS #approach #recognition #set #word
- Handwritten Isolated Word Recognition: An Approach Based on Mutual Information for Feature Set Validation (COdAF, FB, RS), pp. 665–669.
- ICDAR-2001-SrihariCAL
- Individuality of Handwriting: A Validation Study (SNS, SHC, HA, SL), pp. 106–109.
- VLDB-2001-AnciauxBBPV #experience #named
- PicoDBMS: Validation and Experience (NA, CB, LB, PP, PV), pp. 709–710.
- ICSM-2001-KrishnaCKCWBR #empirical #impact analysis #incremental #maintenance #spreadsheet
- Incorporating Incremental Validation and Impact Analysis into Spreadsheet Maintenance: An Empirical Study (VBK, CRC, DK, JC, CSW, MMB, GR), pp. 72–81.
- ICSM-2001-ZelkowitzR #independence #maintenance #safety #verification
- The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 118–126.
- PASTE-2001-BrabandMS #html
- Static validation of dynamically generated HTML (CB, AM, MIS), pp. 38–45.
- FME-2001-ArditiBCS #generative #testing
- Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System (LA, HB, AC, VS), pp. 449–464.
- FME-2001-DocheVK #approach #composition #specification
- A Modular Approach to the Specification and Validation of an Electrical Flight Control System (MD, IVM, FK), pp. 590–610.
- FME-2001-Dupuy-ChessaB #modelling #uml
- Validation of UML Models Thanks to Z and Lustre (SDC, LdB), pp. 242–258.
- FME-2001-SherifSC #approach #realtime #specification
- An Integrated Approach to Specification and Validation of Real-Time Systems (AS, AS, SC), pp. 278–299.
- ICFP-2001-Chuang #parametricity
- Generic Validation of Structural Content with Parametric Modules (TRC), pp. 98–109.
MLDM-2001-ToivonenVVBV #clustering #documentation- Validation of Text Clustering Based on Document Contents (JT, AV, TV, BB, HV), pp. 184–195.
- UML-2001-ApvrilleSLSC #design #realtime #uml
- A New UML Profile for Real-Time System Formal Design and Validation (LA, PdSS, CL, PS, JPC), pp. 287–301.
- RE-2001-Hall01a #modelling #network #security #specification
- Specification Modeling and Validation Applied to Network Security Gateways (RJH), pp. 289–291.
- RE-2001-WinterDC #modelling #requirements
- Virtual Environment Modeling for Requirements Validation of High Consequence Systems (VLW, DD, BC), pp. 23–30.
- ASE-2001-Hall #modelling #network #product line #security #specification
- Specification Modeling and Validation Applied to a Family of Network Security Products (RJH), pp. 71–80.
- ASE-2001-ShenCH #state machine #tool support #uml
- A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
- ASE-2001-SimsCBR #automation #modelling
- Automated Validation of Software Models (SS, RC, KB, SR), p. 91–?.
- ICSE-2001-EbertPSK #development #process
- Improving Validation Activities in a Global Software Development (CE, CHP, RS, HK), pp. 545–554.
- SAC-2001-DowellB #graph #mobile #monte carlo #network #random #simulation
- Connectivity of random graphs and mobile networks: validation of Monte Carlo simulation results (LJD, MLB), pp. 77–81.
- DAC-2001-Bentley
- Validating the Intel Pentium 4 Microprocessor (BB), pp. 244–248.
- TACAS-2001-Carvajal-SchiaffinoDC #bound #petri net
- Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.
- TACAS-2001-Castillo #analysis #modelling #state machine #tool support
- The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.
- WCRE-2000-HendrixCM #diagrams
- An Experimental Validation of Control Structure Diagrams (TDH, JHCI, SM), p. 224–?.
- ICEIS-2000-VarvalhoANKCBR #concurrent #nondeterminism
- Concurrent Validation in the Treatment of Uncertainty in a Expert System (LFdC, FMdA, SMN, CK, HJTdC, CTB, FR), pp. 102–107.
- ICML-2000-YangAP #effectiveness #learning #multi
- Combining Multiple Learning Strategies for Effective Cross Validation (YY, TA, TP), pp. 1167–1174.
- ICPR-v2-2000-Bax #using
- Using Validation by Inference to Select a Hypothesis Function (EB), pp. 2700–2703.
- ICPR-v2-2000-HolzL #set #using
- Validation of Relative Feature Importance Using a Natural Data Set (HJH, MHL), pp. 2414–2417.
- UML-2000-RichtersG #constraints #modelling #ocl #uml
- Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.
- TOOLS-USA-2000-Khwaja #concurrent #embedded #multi #testing #thread
- An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller (AAK), pp. 15–24.
- PLDI-2000-Necula #compilation #optimisation
- Translation validation for an optimizing compiler (GCN), pp. 83–94.
- ICRE-2000-GervasiN #case study #lightweight #natural language #requirements
- Lightweight Validation of Natural Language Requirements: A Case Study (VG, BN), pp. 140–149.
- ICRE-2000-HorlA #communication #requirements
- Requirements Validation of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 190.
- ASE-2000-NoahW #automation #database #design #performance #tool support
- Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools (SAN, MDW), pp. 177–186.
- SAC-2000-JaberNR #approach #product line
- Product Line Stakeholder Viewpoint Approach and Validation Model (KJ, NN, DCR), pp. 871–875.
- SAC-2000-Nunez-SuarezOB #standard
- Validating the FIPA Standards Through a Real-World Application (JNS, DO, HB), pp. 557–562.
- DATE-2000-CornoRSMP #automation #experience #generative #industrial
- Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience (FC, MSR, GS, AM, AP), pp. 385–389.
LCTES-2000-EngelenWY #automation- Automatic Validation of Code-Improving Transformations (RvE, DBW, XY), pp. 206–210.
- TACAS-2000-BodeveixF #infinity #named
- FMona: A Tool for Expressing Validation Techniques over Infinite State Systems (JPB, MF), pp. 204–219.
- TACAS-2000-GnesiLLAAM #fault #specification
- A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (SG, DL, GL, CA, AMA, PM), pp. 535–549.
- CAV-2000-BozgaFGGKM #named
- IF: A Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 543–547.
- ISSTA-2000-Clarke #finite #verification
- Finite state verification: An emerging technology for validating software systems (LAC), p. 146.
- ICDAR-1999-CordellaFSV #approach #documentation #multi
- Document Validation by Signature: A Serial Multi-Expert Approach (LPC, PF, CS, MV), pp. 601–604.
- WCRE-1999-CimitileFV #empirical #impact analysis
- A Software Model for Impact Analysis: A Validation Experiment (AC, ARF, GV), p. 212–?.
- FM-v1-1999-BozgaFGGKM #named #representation
- IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 307–327.
- FM-v1-1999-SabatierL #design #formal method #smarttech #transaction #using
- The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications (DS, PL), pp. 348–368.
- FM-v2-1999-CimattiPSTV #communication #protocol #specification
- Formal Specification and Validation of a Vital Communication Protocol (AC, PLP, RS, PT, AV), pp. 1584–1604.
- FM-v2-1999-SmarandacheGG #calculus #constraints #realtime
- Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints (IMS, TG, PLG), pp. 1364–1383.
- HCI-EI-1999-Harel #automation #usability
- Automatic Operation Logging and Usability Validation (AH), pp. 1128–1133.
- HCI-EI-1999-PrabhuH #design #question #user interface
- GUI Design Preference Validation for Japan and China — A Case for KANSEI Engineering? (GVP, DH), pp. 521–525.
- CAiSE-1999-AoumeurS #distributed #information management #petri net #specification #towards
- Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems (NA, GS), pp. 381–395.
- ICEIS-1999-CaleroPPR #database #metric #quality
- Validating Referential Integrity as a Database Quality Metric (CC, MP, MP, FR), pp. 45–50.
- ICEIS-1999-ThiyagarajahO #database #optimisation #prototype #query
- Prototype Validation of the Trapezoidal Attribute Cardinality Map for Query Optimization in Database Systems (MT, BJO), pp. 156–162.
- KDD-1999-AdomaviciusT #personalisation #profiling
- User Profiling in Personalization Applications Through Rule Discovery and Validation (GA, AT), pp. 377–381.
- TOOLS-USA-1999-PeriyasamyAM #object-oriented #verification
- Verification and Validation Techniques of Object-Oriented Software Systems (KP, VSA, DM), p. 413–?.
- RE-1999-AmyotLBG #case study #distributed #requirements
- Use Case Maps for the Capture and Validation of Distributed Systems Requirements (DA, LL, RJAB, TG), p. 44–?.
- ASE-1999-DevulderL #case study #comparative #linear #programming #verification
- A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods (SD, JLL), pp. 299–302.
- ASE-1999-HendersonW #component #design
- Component-based Systems as an Aid to Design Validation (PH, RJW), pp. 303–306.
- ASE-1999-LingamarlaSLWEG #automation #embedded #multi
- System for Automated Validation of Embedded Software in Multiple Operating Configurations (SL, GBS, JL, MW, GE, SG), pp. 323–326.
- ICSE-1999-Easterbrook #requirements #verification
- Verification and Validation of Requirements for Mission Critical Systems (SME), pp. 673–674.
- DAC-1999-FournierKL #architecture
- Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture (LF, AK, ML), pp. 189–194.
- DATE-1999-DalpassoBB #design #distributed #specification
- Specification and Validation of Distributed IP-Based Designs with JavaCAD (MD, AB, LB), pp. 684–688.
CADE-1999-GribomontS #using #verification- System Description: Using OBDD’s for the validation of Skolem verification conditions (EPG, NS), pp. 222–226.
- CAV-1999-RameshB #case study #design #pipes and filters #tool support #using
- Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study (SR, PB), pp. 84–95.
- ICALP-1998-PnueliSS
- Translation Validation for Synchronous Languages (AP, OS, MS), pp. 235–246.
- FM-1998-GoldsmithZ #csp #verification
- Critical Systems Validation and Verification with CSP and FDR (MG, IZ), pp. 243–250.
- FM-1998-PnueliSS
- Translation Validation: From DC+ to C* (AP, OS, MS), pp. 137–150.
- ICML-1998-McCluskeyW #case study #requirements #using
- A Case Study in the Use of Theory Revision in Requirements Validation (TLM, MMW), pp. 368–376.
- ICPR-1998-SardoK #complexity #estimation #using
- Model complexity validation for PDF estimation using Gaussian mixtures (LS, JK), pp. 195–197.
- UML-1998-JezequelGP #distributed #modelling
- Validating Distributed Software Modeled with the Unified Modeling Language (JMJ, ALG, FP), pp. 365–377.
- SIGAda-1998-PlintaDS #code generation #specification
- A Specification and Code Generation Tool for Message Translation and Validation (CP, RD, RVS), pp. 276–286.
- ICRE-1998-SchneiderECH #fault tolerance #model checking #requirements #using
- Validating Requirements for Fault Tolerant Systems using Model Checking (FS, SME, JRC, GJH), pp. 4–13.
- REFSQ-1998-MaidenCPM #requirements
- CREWS Validation Frames: Patterns for Validating Systems Requirements (NAMM, MC, HP, DM), pp. 167–178.
- ICSE-1998-BinkleyS #dependence #maintenance #metric #predict #runtime
- Validation of the Coupling Dependency Metric as a Predictor of Run-Time Failures and Maintenance Measures (ABB, SRS), pp. 452–455.
- ICSE-1998-dAusbourgSDR #automation #process #user interface
- Helping the Automated Validation Process of User Interfaces Systems (Bd, CS, GD, PR), pp. 219–228.
- DAC-1998-ChenOIB #analysis #architecture
- Validation of an Architectural Level Power Analysis Technique (RYC, RMO, MJI, RSB), pp. 242–245.
- DAC-1998-HinesB #design #distributed #embedded #framework
- A Geographically Distributed Framework for Embedded System Design and Validation (KH, GB), pp. 140–145.
- DAC-1998-YangD
- Validation with Guided Search of the State Space (CHY, DLD), pp. 599–604.
- DATE-1998-RiesgoTTU #estimation #fault #functional #modelling #quality
- Quality Estimation of Test Vectors and Functional Validation Procedures Based on Fault and Error Models (TR, YT, EdlT, JU), pp. 955–956.
- DATE-1998-WahlV #performance
- A VHDL SGRAM Model for the Validation Environment of a High Performance Graphic Processor (MGW, HV), pp. 937–938.
- DATE-1998-WangAZ #array #design #effectiveness
- Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor Arrays (LCW, MSA, JZ), pp. 273–277.
- TACAS-1998-PnueliSS
- Translation Validation (AP, MS, ES), pp. 151–166.
- TACAS-1998-RuysB #experience #modelling #programming
- Experience with Literate Programming in the Modelling and Validation of Systems (TCR, EB), pp. 393–408.
LICS-1998-NeculaL #performance #proving #representation- Efficient Representation and Validation of Proofs (GCN, PL), pp. 93–104.
- ICDAR-1997-WatanabeZ #recognition #string
- Recognition of Character Strings from Color Urban Map Imageson the Basis of Validation Mechanism (TW, RZ), pp. 805–808.
- CAiSE-1997-DiazP #calculus #modelling #policy
- Stimuli and Business Policies as Modelling Constructs: Their Definition and Validation Through the Event Calculus (OD, NWP), pp. 33–46.
- CAiSE-1997-FilippidouL #approach #requirements #using
- Using Scenarios to Validate Requirements in a Plausibility Centred Approach (DF, PL), pp. 47–60.
- CIKM-1997-LeeM #scheduling #transaction
- Commit-Reordering Validation Scheme for Transaction Scheduling in Client-Server Based Teleputing Systems: COREV (YL, SM), pp. 59–66.
- ASE-1997-Hall #automation #library #reasoning #using
- Reactive System Validation using Automated Reasoning over a Fragment Library (RJH), pp. 299–300.
ESEC-FSE-1997-LandSJ #design #detection #empirical #fault #performance #using- Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code (LPWL, CS, DRJ), pp. 294–309.
- ICSE-1997-HeitmeyerKL #requirements #specification #tool support #verification
- The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
- DAC-1997-BalarinS #embedded #realtime
- Schedule Validation for Embedded Reactive Real-Time Systems (FB, ALSV), pp. 52–57.
- DAC-1997-GuptaMA #formal method #simulation #towards #using
- Toward Formalizing a Validation Methodology Using Simulation Coverage (AG, SM, PA), pp. 740–745.
- FME-1996-SeguinW #approach #category theory #fault tolerance #logic #using
- Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems (CS, VW), pp. 347–366.
- CAiSE-1996-CostalTUF #concept
- Handling Conceptual Model Validation by Planning (DC, ET, TU, CF), pp. 255–271.
- SAS-1996-Snelting #constraints #metric #slicing #theorem proving
- Combining Slicing and Constraint Solving for Validation of Measurement Software (GS), pp. 332–348.
- CAV-1996-FernandezGKMMS #named #protocol #verification
- CADP — A Protocol Validation and Verification Toolbox (JCF, HG, AK, LM, RM, MS), pp. 437–440.
- ISSTA-1996-CallahanM #approach #multi #protocol #reliability #verification
- An Approach to Verification and Validation of a Reliable Multicasting Protocol (JRC, TLM), pp. 187–194.
- ISSTA-1996-GodefroidPS #concurrent #industrial #partial order #source code #using
- Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs (PG, DP, MGS), pp. 261–269.
- ICDAR-v2-1995-KanungoHB #distance #documentation
- Power functions and their use in selecting distance functions for document degradation model validation (TK, RMH, HSB), pp. 734–739.
- ICDAR-v2-1995-ParmentierB #architecture #bibliography #using
- Bibliography references validation using emergent architecture (FP, AB), pp. 532–535.
- ICDAR-v2-1995-WatanabeF #comprehension #documentation #framework #image
- A framework for validating recognized results in understanding table-form document images (TW, TF), pp. 536–539.
- CSEE-1995-Shepard #education #on the #verification
- On Teaching Software Verification and Validation (TS), pp. 375–385.
- SEKE-1995-LaliotiT #requirements #specification #visual notation
- Visual Scenarios for Validation of Requirements Specification (VL, BT), pp. 114–116.
- AdaEurope-1995-BuchsBR #algebra #modelling
- Modeling and Validation of Tasks with Algebraic Structured Nets (DB, CB, PR), pp. 284–297.
- AdaEurope-1995-Gabai #ada #french #library #named
- LAMPBADA: Logiciel d’Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool) (DDG), pp. 444–455.
- DAC-1995-KnappLMM #behaviour #specification #synthesis
- Behavioral Synthesis Methodology for HDL-Based Specification and Validation (DK, TL, DM, RM), pp. 286–291.
- DAC-1995-VanbekbergenWK #design
- A Design and Validation System for Asynchronous Circuits (PV, ARW, KK), pp. 725–730.
- FME-1994-Hansen
- Validation of a Railway Interlocking Model (KMH), pp. 582–601.
- CHI-1994-GongK94a #development
- A validation of the GOMS model methodology in the development of a specialized, commercial software application (RG, DEK), pp. 351–357.
- ICML-1994-MooreL #algorithm #fault #performance
- Efficient Algorithms for Minimizing Cross Validation Error (AWM, MSL), pp. 190–198.
- SEKE-1994-PranevitchiusP #simulation #specification #tool support
- Tools for validation and simulation of Estelle/Ag specifications (HP, VP), pp. 94–99.
- TOOLS-EUROPE-1994-TsalgatidouGH #requirements
- Specifiying and Validating Requirements: The VENUS System (AT, DG, CH), pp. 89–102.
- AdaEurope-1994-FrancolaM #realtime
- Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter (SF, MM), pp. 270–281.
- ICRE-1994-OzcanS #evolution #framework #requirements
- Validating and evolving software requirements in a systematic framework (MBÖ, JIAS), pp. 202–205.
- KBSE-1994-Hall #incremental #rule-based
- Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.
- EDAC-1994-NaganumaOH #algorithm #debugging #design #using
- High-Level Design Validation Using Algorithmic Debugging (JN, TO, TH), pp. 474–480.
ILPS-1994-Malfon #logic programming #semantics #source code- Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation (BM), pp. 91–105.
- ICDAR-1993-PlamondonBCS #algorithm #design #preprocessor
- Validation of preprocessing algorithms: A methodology and its application to the design of a thinning algorithm for handwritten characters (RP, MB, CC, CYS), pp. 262–269.
- CSM-1993-CimitileFM #concept #re-engineering #reuse
- Reuse Reengineering and Validation via Concept Assignment (AC, ARF, PM), pp. 216–225.
- CSM-1993-Desharnais #benchmark #industrial #metric #process
- Validation Process for Industry Benchmarking Data (JMD), pp. 371–372.
- FME-1993-Boswell #policy #security #specification
- Specification and Validation of a Security Policy Model (AB), pp. 42–51.
- HCI-ACS-1993-HollywellH #set #verification
- A Tool Set for the Verification and Early Validation of a Control Room Computer-Based Display System for Sizewell “B” Nuclear Power Station (PDH, EMH), pp. 133–138.
- CAiSE-1993-GullaW #execution #modelling #using
- Using Explanations to Improve the Validation of Executable Models (JAG, GW), pp. 118–142.
- CAiSE-1993-LaliotiL #visualisation
- Visualisation for Validation (VL, PL), pp. 143–164.
- CAiSE-1993-LindlandK #concept #modelling #prototype
- Validating Conceptual Models by Transformational Prototyping (OIL, JK), pp. 165–183.
- CIKM-1993-WuS #deduction #logic
- Rule Validation Based on Logical Deduction (PW, SYWS), pp. 164–173.
- SEKE-1993-BiebowS #analysis #requirements
- Acquisition, Analysis and Validation of Informal Requirements (BB, SS), pp. 109–116.
- AdaEurope-1993-Tonndorf #ada #compilation #performance
- An Efficient Compiler Validation Method for Ada 9X (MT), pp. 95–107.
- KBSE-1993-Hall #rule-based
- Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.
- DAC-1993-Gennart #comparative #design
- Comparative Design Validation Based on Event Pattern Mappings (BAG), pp. 373–378.
- DAC-1993-VemuriMSKRV #case study #experience #functional #synthesis
- Experiences in Functional Validation of a High Level Synthesis System (RV, PM, PS, NK, JR, RV), pp. 194–201.
- SEI-1992-CardowL #education #verification
- Teaching Software Verification and Validation to Software Practitioner (JEC, DRL), pp. 167–179.
- CHI-1992-GrayJA #overview
- The precis of Project Ernestine or an overview of a validation of GOMS (WDG, BEJ, MEA), pp. 307–312.
- CAiSE-1992-Dalianis #concept #generative #natural language
- A Method for Validating a Conceptual Model by Natural Language Discourse Generation (HD), pp. 425–444.
- CAiSE-1992-HalpinM #automation #concept #constraints
- Automated Validation of Conceptual Schema Constraints (TAH, JIM), pp. 445–462.
- SEKE-1992-Hwang #information management
- Knowledge Acquisition and Validation for Implicit Expertise (GJH), pp. 32–39.
- SEKE-1992-Tervonen #quality #research
- Quality-Driven Validation: A Link Between Four Research Traditions (IT), pp. 370–377.
- OOPSLA-1992-DonyMC #prototype #taxonomy
- Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation (CD, JM, PC), pp. 201–217.
- AdaEurope-1992-Stilberg #ada
- Considerations with Regard to Validation of Ada Debuggers (SS), pp. 197–213.
- TRI-Ada-C-1992-Weiderman #ada
- Ada 9X Validation (NHW), pp. 113–118.
- ICSE-1992-FelderM #realtime #specification
- Validating Real-Time Systems by History-Checking TRIO Specifications (MF, AM), pp. 199–211.
- DAC-1992-GennartL #simulation #using
- Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.
- LOPSTR-1991-Waldau
- Formal Validation of Transformation Schemata (MW), pp. 97–110.
- WSA-1991-ParrainDL #french #prolog
- Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs (AP, PD, PL), pp. 132–138.
- ESEC-1991-ShepperdI #algebra #metric
- Algebraic Validation of software Metrics (MJS, DCI), pp. 343–363.
- CAiSE-1990-TsalgatidouKL #requirements #rule-based #specification
- Rule-Based Requirements Specification and Validation (AT, VK, PL), pp. 251–263.
- SEKE-1990-ShiM #requirements #towards #verification
- Toward Verification and Validation of Software Requirements (GMS, IM), pp. 251–259.
- ICSE-1990-GuihoH
- SACEM Software Validation (GDG, CH), pp. 186–191.
- DAC-1990-ArmstrongCSK
- The VHDL Validation Suite (JA, CC, SS, CK), pp. 2–7.
- ESEC-1989-MorascaP #ada #concurrent #execution #source code #symbolic computation #using
- Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.
- ICSE-1989-Cherniavsky #testing
- Validation Through Testing (JCC), p. 354.
- ICSE-1989-Howden
- Error-Based Validation Completeness (WEH), p. 357.
- ICSE-1989-Yue #composition #dynamic analysis #functional #requirements
- Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.
- TAV-1989-Howden #source code #specification
- Validating Programs without Specifications (WEH), pp. 2–9.
- VDME-1988-Blikle #specification
- Three-Valued Predicates for Software Specification and Validation (AB), pp. 243–266.
- VDME-1988-KonikowskaTB #logic #specification
- A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.
- ICSE-1988-JefferyB
- Validating the TAME Resource Data Model (DRJ, VRB), pp. 187–201.
- VLDB-1987-QianS #constraints #performance
- Integrity Constraint Reformulation for Efficient Validation (XQ, DRS), pp. 417–425.
- DAC-1987-BhatejaK #design #named
- VALKYRIE: A Validation Subsystem of a Version Server for Computer-Aided Design Data (RB, RHK), pp. 321–327.
- SIGMOD-1986-MackertL #evaluation #performance #query
- R* Optimizer Validation and Performance Evaluation for Local Queries (LFM, GML), pp. 84–95.
- VLDB-1986-MackertL #distributed #evaluation #performance #query
- R* Optimizer Validation and Performance Evaluation for Distributed Queries (LFM, GML), pp. 149–159.
- VLDB-1986-QianW #constraints #knowledge-based
- Knowledge-based Integrity Constraint Validation (XQ, GW), pp. 3–12.
- CRAI-1986-Goodenough #ada #compilation #testing #theory and practice
- Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.
- ICSE-1985-KafuraC #metric #using
- A Validation of Software Metrics Using Many Metrics and Two Resources (DGK, JC), pp. 378–385.
- ICSE-1985-PottsBCM #design #simulation #specification
- Discrete Event Simulation as a Means of Validating JSD Design Specifications (CP, AB, BHC, RM), pp. 119–127.
- DAC-1982-MudgeRLA #image #layout
- Cellular image processing techniques for VLSI circuit layout validation and routing (TNM, RAR, RML, DEA), pp. 537–543.
- CADE-1982-Caferra #matrix #proving #reduction
- Proof by Matrix Reduction as Plan + Validation (RC), pp. 309–325.
- SIGIR-1981-StorerE #clustering
- Experiments on the Application of Clustering Techniques to Data Validation (WFS, CME), pp. 88–89.
- SIGMOD-1979-BadalP #analysis #performance #semantics
- Cost and Performance Analysis of Semantic Integrity Validation Methods (DZB, GJP), pp. 109–115.
- ICSE-1979-RamamoorthyBFMNS #approach #development #on the
- On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants (CVR, FBB, JMF, YKRM, CWN, KS), pp. 231–240.
- ICSE-1978-HerndonK #analysis #fault
- Analysis of Error Remediation Expenditures During Validation (MAH, APK), pp. 202–206.
- VLDB-1977-Bubenko #aspect-oriented #modelling #verification
- Validation and Verification Aspects of Information Modeling (JABJ), pp. 556–566.
- DAC-1977-Noon #design #logic #verification
- A Design Verification and Logic Validation System (WAN), pp. 362–368.
- ICSE-1976-Voges #aspect-oriented #design
- Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System (UV), pp. 606–610.
- SOSP-J-1975-Millen76 #kernel #security
- Security Kernel Validation in Practice (JKM), pp. 243–250.
- DAC-1975-Losleben75a #design
- Design validation in hierarchical systems (PL), pp. 431–438.
STOC-1972-Sethi #source code- Validating Register Allocations for Straight Line Programs (RS), pp. 222–237.
- SIGFIDET-1970-Bastian70a
- Data Validation (transcript) (ALB), pp. 291–312.
