BibSLEIGH — valid stem

Used together with:

model (141)
system (103)
base (82)
softwar (80)
use (79)

Stem valid$ (all stems)

714 papers:

DAC-2015-CampbellLMC #debugging #detection #fault #hybrid #synthesis #using #validation: 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 #validation #verification: Pre-silicon security verification and validation: a formal perspective (XG, RGD, YJ, FF, PM), p. 6.
DAC-2015-RayYBB #correctness #design #security #validation: Correctness and security at odds: post-silicon validation of modern SoC designs (SR, JY, AB, SB), p. 6.
DATE-2015-CaoBFCCAO #feature model #validation: 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 #validation: 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 #validation: A methodology for automated design of embedded bit-flips detectors in post-silicon validation (PT, NN), pp. 73–78.
DocEng-2015-SantosBMRL #documentation #multi #validation: Spatio-temporal Validation of Multimedia Documents (JAFdS, CB, DCMS, CR, NL), pp. 133–142.
SIGMOD-2015-HungTWA #validation: Minimizing Efforts in Validating Crowd Answers (NQVH, DCT, MW, KA), pp. 999–1014.
FASE-2015-NgoTGG #compilation #validation: Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
ICSME-2015-OliveiraVBS #developer #metric #validation: Validating metric thresholds with developers: An early result (PO, MTV, AB, AS), pp. 546–550.
SCAM-2015-BanerjeeMS #equivalence #framework #validation: A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.
STOC-2015-DworkFHPRR #adaptation #data analysis #statistics: Preserving Statistical Validity in Adaptive Data Analysis (CD, VF, MH, TP, OR, ALR), pp. 117–126.
LATA-2015-NdioneLN #sublinear: Sublinear DTD Validity (AN, AL, JN), pp. 739–751.
FM-2015-SchneiderLW #modelling #problem #validation: Model-Based Problem Solving for University Timetable Validation and Improvement (DS, ML, TW), pp. 487–495.
SEFM-2015-Jakobs #clustering #configuration management #reduction #validation: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning (MCJ), pp. 159–174.
CHI-2015-JokinenSPS #validation: Quick Affective Judgments: Validation of a Method for Primed Product Comparisons (JPPJ, JMS, PMHP, PS), pp. 2221–2230.
CAiSE-2015-EstanolST #modelling #process #uml #validation #verification: Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
CAiSE-2015-SenderovichWGMK #network #process #validation: 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 #validation: 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 #validation: Using Technical-Action-Research to Validate a Framework for Authoring Software Engineering Methods (MMT, HO, MP), pp. 15–27.
SIGIR-2015-HungTWA #named #validation: ERICA: Expert Guidance in Validating Crowd Answers (NQVH, DCT, MW, KA), pp. 1037–1038.
ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification: Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
REFSQ-2015-TenbergenWP #validation: Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations (BT, TW, KP), pp. 17–32.
REFSQ-2015-VriezekolkEW #assessment #risk management #validation: Experimental Validation of a Risk Assessment Method (EV, SE, RW), pp. 1–16.
ESEC-FSE-2015-0001DDHS #validation #verification: Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
ESEC-FSE-2015-ChenS #difference #implementation #testing #validation: Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.
ESEC-FSE-2015-SunXLLQ #abstraction #learning #named #testing #validation: TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
ICSE-v1-2015-SiegmundSA #empirical #re-engineering: Views on Internal and External Validity in Empirical Software Engineering (JS, NS, SA), pp. 9–19.
ICSE-v2-2015-DoligezFHM #development #functional #programming #security #validation #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 #validation: Automatic and Continuous Software Architecture Validation (MG, IS), pp. 59–68.
SLE-2015-Lopez-Fernandez #validation #visual notation: Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.
SPLC-2015-ArrietaSE #algorithm #cyber-physical #product line #validation: Test control algorithms for the validation of cyber-physical systems product lines (AA, GS, LE), pp. 273–282.
PPoPP-2015-SaillardCB #concurrent #multi #thread #validation: Static/Dynamic validation of MPI collective communications in multi-threaded context (ES, PC, DB), pp. 279–280.
SOSP-2015-AmitTSAS #cpu #validation: Virtual CPU validation (NA, DT, AS, AA, ES), pp. 311–327.
ISSTA-2015-QiLAR #analysis #correctness #generative: An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (ZQ, FL, SA, MCR), pp. 24–36.
TAP-2015-DutleMNB #animation #validation: Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
ECSA-2014-CaraccioloLN #architecture #how #quality #question #requirements #validation: How Do Software Architects Specify and Validate Quality Requirements? (AC, MFL, ON), pp. 374–389.
ASE-2014-LiC #runtime #validation: Symbolic state validation through runtime data (YL, SCC), pp. 187–198.
ASE-2014-Lopez-FernandezGL #metamodelling #validation #verification: Meta-Model validation and verification with MetaBest (JJLF, EG, JdL), pp. 831–834.
ASE-2014-MaezawaNWH #ajax #using #validation: Validating ajax applications using a delay-based mutation technique (YM, KN, HW, SH), pp. 491–502.
CASE-2014-TanHZ #automation #development #validation: Development and validation of an automated steering control system for bus revenue service (HST, JH, WBZ), pp. 31–36.
DAC-2014-AbarbanelSV #challenge #validation: Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions (YA, ES, MYV), p. 4.
DAC-2014-FarkashHB #incremental #validation: Coverage Learned Targeted Validation for Incremental HW Changes (MF, BGH, MB), p. 6.
DAC-2014-NahirDKRRSSW #validation: Post-Silicon Validation of the IBM POWER8 Processor (AN, MD, SK, KR, WR, KDS, KS, GW), p. 6.
DAC-2014-RaiHST #detection #fault #framework #performance #realtime: An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor (DR, PH, NS, LT), p. 6.
DAC-2014-SampathRR #c #validation: Translation Validation for Stateflow to C (PS, ACR, SR), p. 6.
DAC-2014-SutariaRZRMC #modelling #random #simulation #validation: 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 #validation: Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
DATE-2014-HsuCMGB #architecture #named #performance #validation: ArChiVED: Architectural checking via event digests for high performance validation (CHH, DC, RM, RG, VB), pp. 1–6.
ITiCSE-2014-KohNBR #analysis #validation: Early validation of computational thinking pattern analysis (KHK, HN, ARB, AR), pp. 213–218.
FASE-2014-MoreauHM #algorithm #api #design #online #testing #validation: An Online Validator for Provenance: Algorithmic Design, Testing, and API (LM, TDH, DTM), pp. 291–305.
ICSME-2014-ZhangHD #automation #parallel #scalability #simulation #tool support #validation: Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
PLDI-2014-LeAS #compilation #equivalence #validation: Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.
FM-2014-HuPF #bidirectional #programming: Validity Checking of Putback Transformations in Bidirectional Programming (ZH, HP, SF), pp. 1–15.
GT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
CHI-2014-BachynskyiOPW #human-computer #simulation: Is motion capture-based biomechanical simulation valid for HCI studies?: study and implications (MB, AO, GP, TW), pp. 3215–3224.
DUXU-DP-2014-CandelloCBP #validation #visual notation: A Validation Study of a Visual Analytics Tool with End Users (HC, VFC, AB, RAdP), pp. 381–391.
LCT-NLE-2014-OrehovackiBJ #education #quality #web: Exploring the Validity of an Instrument to Measure the Perceived Quality in Use of Web 2.0 Applications with Educational Potential (TO, SB, MJ), pp. 192–203.
SCSM-2014-ShiLYLC #development #network #social #validation: 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 #validation #visualisation: Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.
AdaEurope-2014-ZhouLL #approach #embedded #requirements #safety #validation: A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
ICEIS-v2-2014-AntonioRF #embedded #modelling #process #validation #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 #validation: Empirical Validation of Product-line Architecture Extensibility Metrics (EAOJ, IMdSG), pp. 111–118.
ICEIS-v2-2014-PodlouckyP #formal method #simulation #towards #validation: Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.
ICEIS-v2-2014-Silva #automation #framework #quality #requirements #specification #validation: 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 #validation: Formalization of Validation Extension Metamodel for Enterprise Architecture Frameworks (SO, JE, PK), pp. 427–434.
ECIR-2014-CeroniF #automation #towards #validation: Towards an Entity-Based Automatic Event Validation (AC, MF), pp. 605–611.
ICML-c1-2014-LiuJL #approximate #kernel #performance #using: Efficient Approximation of Cross-Validation for Kernel Methods using Bouligand Influence Function (YL, SJ, SL), pp. 324–332.
ICPR-2014-ChernousovaLTMW #parametricity #validation: 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 #validation: On Validation of Clustering Techniques for Bibliographic Databases (SM, SS, SM), pp. 3150–3155.
KDIR-2014-SenkoDPRK #modelling: A Method for Evaluating Validity of Piecewise-linear Models (OVS, DSD, EAP, LYR, AVK), pp. 437–443.
KEOD-2014-PintoA #axiom #case study #validation: An e-Government Project Case Study — Interview based DEMO Axioms’ Benefits Validation (DP, DA), pp. 138–149.
SEKE-2014-NetoC #identification: Identifying Threats to Validity and Control Actions in the Planning Stages of Controlled Experiments (AAN, TC), pp. 256–261.
SIGIR-2014-ArakiC #ranking #similarity #validation: An annotation similarity model in passage ranking for historical fact validation (JA, JC), pp. 1111–1114.
OOPSLA-2014-NazareMSBGP #analysis #memory management #validation: Validation of memory accesses through symbolic analyses (HN, IM, WS, LB, LG, FMQP), pp. 791–809.
RE-2014-WittFSH #process #validation #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 #validation: 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 #validation: Analyzing the Effect of the Collaborative Interactions on Performance of Requirements Validation (NCF, SE, KS, MD, AG), pp. 216–231.
SAC-2014-Silva #approach #automation #bibliography #quality #requirements #specification #validation: Quality of requirements specifications: a preliminary overview of an automatic validation approach (ARdS), pp. 1021–1022.
FSE-2014-JiangZZZLSSGS #embedded #modelling #multi #named #synthesis #tool support #validation: 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.
FSE-2014-JustJIEHF #fault #question #testing: Are mutants a valid substitute for real faults in software testing? (RJ, DJ, LI, MDE, RH, GF), pp. 654–665.
ICSE-2014-GeM #automation #refactoring #validation: Manual refactoring changes with automated refactoring validation (XG, ERMH), pp. 1095–1105.
ICST-2014-HaysHB #testing #validation: Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.
ISSTA-2014-AlkhalafAB #difference #semantics #validation: Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
ECSA-2013-Kuster #architecture #design #modelling #traceability #validation: Architecture-Centric Modeling of Design Decisions for Validation and Traceability (MK), pp. 184–191.
QoSA-2013-BeckerLB #adaptation #analysis #performance #requirements #self #validation: Performance analysis of self-adaptive systems for requirements validation at design-time (MB, ML, SB), pp. 43–52.
ASE-2013-Frank #automation #challenge #validation #verification: The challenges of verification and validation of automated planning systems (keynote) (JF), p. 2.
ASE-2013-GhaisasMA #case study #detection #documentation: Detecting system use cases and validations from documents (SG, MM, PRA), pp. 568–573.
ASE-2013-NardoABFNM #modelling #validation: Model based test validation and oracles for data acquisition systems (DDN, NA, LCB, EF, TNA, VM), pp. 540–550.
DAC-2013-GuCL #estimation #performance #validation: 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 #validation: 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 #validation: System-level modeling of energy in TLM for early validation of power and thermal management (TB, MM, FM), pp. 1609–1614.
DATE-2013-ChandranSP #validation: Space sensitive cache dumping for post-silicon validation (SC, SRS, PRP), pp. 497–502.
DATE-2013-LinHLFGHM #challenge #detection #fault #validation: 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 #validation: Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
FASE-2013-HaslingerLE #feature model #modelling #on the #set: On Extracting Feature Models from Sets of Valid Feature Combinations (ENH, RELH, AE), pp. 53–67.
CSMR-2013-ChocklerDLFHMMORSST #named #validation: 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 #validation: An Empirical Illustration to Validate a FLOSS Development Model Using S-Shaped Curves (AECC, HI, NP), pp. 468–471.
PLDI-2013-SewellMK #kernel #validation: Translation validation for a verified OS kernel (TALS, MOM, GK), pp. 471–482.
SAS-2013-KimDS #documentation #html #parsing #semantics #validation: Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
GT-VMT-2013-TeusnerGRK #behaviour #interactive #modelling #validation: Interactive Strategy-Based Validation of Behavioral Models (RT, GG, SR, SK).
CHI-2013-LawsonJGLKVRM #metric #mobile #validation: 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: 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 #validation: 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 #validation: 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 #validation #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 #validation: 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 #validation: 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 #validation: Enterprise Architecture Models — Description of Integrated Components for Validation — A Case Study of Student Internship Programme (JE, SO), pp. 302–309.
ICML-c1-2013-KumarLVV #bound: Near-Optimal Bounds for Cross-Validation via Loss Stability (RK, DL, SV, AV), pp. 27–35.
ICML-c3-2013-GerasS #multi: Multiple-source cross-validation (KG, CAS), pp. 1292–1300.
ICML-c3-2013-HomrighausenM #persistent: The lasso, persistence, and cross-validation (DH, DJM), pp. 1031–1039.
ICML-c3-2013-Izbicki #algebra #approach #classification #online #parallel #performance: Algebraic classifiers: a generic approach to fast cross-validation, online training, and parallel training (MI), pp. 648–656.
KDIR-KMIS-2013-DuarteFD #clustering #constraints #using #validation: Data Clustering Validation using Constraints (JMMD, ALNF, FJFD), pp. 17–27.
SEKE-2013-FelizardoBM #approach #bibliography #replication #validation #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 #validation: Proposal and Validation of a Feasibility Model for Information Mining Projects (S) (PP, PB, RGM), pp. 83–88.
ICMT-2013-LepperT #performance #validation: Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract) (ML, BTyW), pp. 54–55.
MoDELS-2013-FernandezAIM #development #empirical #modelling #usability #validation #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 #validation: 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: Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
MoDELS-2013-FernandezAIM #development #empirical #modelling #usability #validation #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 #validation: 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: Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
RE-2013-FeldererB #fault #industrial #requirements #taxonomy #using #validation: Using defect taxonomies for requirements validation in industrial projects (MF, AB), pp. 296–301.
RE-2013-NistalaK #analysis #approach #consistency #requirements #validation: An approach to carry out consistency analysis on requirements: Validating and tracking requirements through a configuration structure (PN, PK), pp. 320–325.
ESEC-FSE-2013-HawblitzelLPHGFDW #compilation #validation: 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 #validation: Transparent mutable replay for multicore debugging and patch validation (NV, SN, JN), pp. 127–138.
CAV-2013-ChengRS #constraints #named #polynomial: JBernstein: A Validity Checker for Generalized Polynomial Constraints (CHC, HR, NS), pp. 656–661.
CAV-2013-HarrisJLJ #library #validation: Validating Library Usage Interactively (WRH, GJ, SL, SJ), pp. 796–812.
ICST-2013-CompagnaGB #as a service #process #security #validation: Business Process Compliance via Security Validation as a Service (LC, PG, ADB), pp. 455–462.
ICST-2013-NetterGB #composition #framework #modelling #simulation #validation: Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.
ISSTA-2013-LiCWX #memory management #validation: Dynamically validating static memory leak warnings (ML, YC, LW, G(X), pp. 112–122.
ISSTA-2013-SteimannFA #empirical #fault: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators (FS, MF, RA), pp. 314–324.
ISSTA-2013-TsankovDB #testing: Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
ASE-2012-GhabiE #automation #validation: Code patterns for automatically validating requirements-to-code traces (AG, AE), pp. 200–209.
ASE-2012-SharT #predict #validation #web: Predicting common web application vulnerabilities from input validation and sanitization code patterns (LKS, HBKT), pp. 310–313.
CASE-2012-DhananjayanS #automation #design #realtime #requirements #specification #validation: 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 #validation: 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 #validation: 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 #validation: An hybrid architecture to detect transient faults in microprocessors: An experimental validation (SC, MV), pp. 1433–1438.
ESOP-2012-JourdanPL #lr #parsing #validation: Validating LR(1) Parsers (JHJ, FP, XL), pp. 397–416.
FASE-2012-MauczkaHSSBG #automation #classification #commit #maintenance #taxonomy #validation: 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 #security #trust #validation: 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.
ICALP-v1-2012-RabinMMY #performance #strict #transaction #validation: Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions (MOR, YM, SM, MY), pp. 738–749.
FM-2012-PlaggeL #using #validation: Validating B, Z and TLA + Using ProB and Kodkod (DP, ML), pp. 372–386.
IFM-2012-HansenL #validation: Translating TLA + to B for Validation with ProB (DH, ML), pp. 24–38.
SFM-2012-CasoBGU #abstraction #validation: Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.
CHI-2012-YeeDN #development #game studies #online #validation: Online gaming motivations scale: development and validation (NY, ND, LN), pp. 2803–2806.
CAiSE-2012-GronerAMGPB #modelling #process #validation: Validation of User Intentions in Process Models (GG, MA, BM, DG, FSP, MB), pp. 366–381.
CIKM-2012-ZhukovskiyVPOGGSR #empirical #graph #validation #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.
ECIR-2012-CumminsO #information retrieval #on the: On Theoretically Valid Score Distributions in Information Retrieval (RC, CO), pp. 451–454.
ICPR-2012-KrijtheHL #classification #using: Improving cross-validation based classifier selection using meta-learning (JHK, TKH, ML), pp. 2873–2876.
KDIR-2012-GarciaGG #information management #performance #predict #validation: 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 #validation #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 #validation: Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.
SAC-2012-LocoroMS #collaboration #evolution #ontology #validation: Evolving and validating annotations in web-based collaborative environments through ontology matching (AL, VM, AMS), pp. 725–727.
SAC-2012-MoretBATMF #validation: 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 #validation: Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.
SAC-2012-ScholteRBK #analysis #empirical #validation #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 #validation: Statechart-based use case requirement validation of event-driven systems (ST, AG), pp. 1091–1093.
ICSE-2012-AlkhalafBG #analysis #string #using #validation #verification: Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.
ICSE-2012-GhezziM #behaviour #specification #synthesis #validation: Behavioral validation of JFSL specifications through model synthesis (CG, AM), pp. 936–946.
ICSE-2012-ZhangE #exception #testing #validation: Amplifying tests to validate exception handling code (PZ, SGE), pp. 595–605.
CAV-2012-CimattiCLNRRST #industrial #validation #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 #validation: ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
ASE-2011-BergmannHHRUV #emf #implementation #performance #tool support #validation: Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
ASE-2011-GhabiE #validation: 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 #validation: Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.
ASE-2011-NguyenNNN #fault #html #php #validation: Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (HVN, HAN, TTN, TNN), pp. 13–22.
CASE-2011-ChuYSS #probability #simulation #validation: Validation of stochastic traffic flow model with microscopic traffic simulation (KCC, LY, RS, KS), pp. 672–677.
DAC-2011-AdirNSZMS #validation #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 #validation: 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 #validation: Transaction based pre-to-post silicon validation (ES, YA, SB), pp. 564–568.
DATE-2011-AdirCLNSZMS #validation #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 #validation: 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 #validation: Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
CSEET-2011-LiB #education #process #re-engineering #research #validation #verification: Making winners for both education and research: Verification and validation process improvement practice in a software engineering course (QL, BWB), pp. 304–313.
FoSSaCS-2011-MollerS #context-free grammar #html #validation: HTML Validation of Context-Free Languages (AM, MS), pp. 426–440.
SCAM-2011-Mehlich #c #memory management #named #validation: CheckPointer — A C Memory Access Validator (MM), pp. 165–172.
WCRE-2011-GuoWGG #empirical #validation: An Empirical Validation of the Benefits of Adhering to the Law of Demeter (YG, MW, EG, HCG), pp. 239–243.
PLDI-2011-TristanGM #validation: Evaluating value-graph translation validation for LLVM (JBT, PG, GM), pp. 295–305.
SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation: Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
FM-2011-Li #compilation #logic: Validated Compilation through Logic (GL), pp. 169–183.
CHI-2011-LinehanKLC #design #education #game studies #guidelines: Practical, appropriate, empirically-validated guidelines for designing educational games (CL, BK, SWL, GC), pp. 1979–1988.
CHI-2011-RohsOS #interactive #lens #validation: Interaction with magic lenses: real-world validation of a Fitts’ Law model (MR, AO, TS), pp. 2725–2728.
DHM-2011-CloutierBY #modelling #validation: Motion Capture Experiments for Validating Optimization-Based Human Models (AC, RB, J(Y), pp. 59–68.
DHM-2011-WelkePRJ #analysis #how #modelling #validation #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 #validation: 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.
HCD-2011-GoreHHBM #approach #modelling #performance: A Methodical Approach for Developing Valid Human Performance Models of Flight Deck Operations (BFG, BLH, NH, DLB, EM), pp. 379–388.
HCI-UA-2011-MitchellGLA #validation #video: Validating Video Analytics in Mission Critical Applications (SJM, SG, SL, BA), pp. 394–402.
CAiSE-2011-GronerWBPWHGS #process #product line #validation: Validation of Families of Business Processes (GG, CW, MB, FSP, TW, FH, DG, SS), pp. 551–565.
ICEIS-v3-2011-LinLMZN #approach #verification #workflow: Approach for Verifying Workflow Validity (YL, TL, IM, RZ, RN), pp. 66–75.
SEKE-2011-ChenHS #adaptation #analysis #modelling #process #towards #validation: 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 #validation: 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 #validation: A SysML Profile for Development and Early Validation of TLM 2.0 Models (VJ, AK, PRP), pp. 299–311.
TOOLS-EUROPE-2011-KuhlmannHG #modelling #ocl #satisfiability #validation: Extensive Validation of OCL Models by Integrating SAT Solving into USE (MK, LH, MG), pp. 290–306.
GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #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.
PADL-2011-Kaivola #execution #framework #functional #validation: Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
SAC-2011-LuKNB #analysis #approach #embedded #realtime #simulation #statistics #validation: A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems (YL, JK, TN, IB), pp. 711–716.
ESEC-FSE-2011-CostacheKK #design #implementation #process #validation: 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 #validation: Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.
PLEASE-2011-AsirelliBFGM #design #product line #validation #variability: Design and validation of variability in product lines (PA, MHtB, AF, SG, FM), pp. 25–30.
CADE-2011-GalmicheM: A Connection-Based Characterization of Bi-intuitionistic Validity (DG, DM), pp. 268–282.
CAV-2011-SteppTL #validation: Equality-Based Translation Validator for LLVM (MS, RT, SL), pp. 737–742.
QoSA-2010-BabkaTB #modelling #performance #predict #random #validation: Validating Model-Driven Performance Predictions on Random Software Systems (VB, PT, LB), pp. 3–19.
ASE-2010-GabrysiakGS #behaviour #interactive #multi #process #requirements #validation: Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.
ASE-2010-TanejaLMXT #multi #named #testing #validation #web: MiTV: multiple-implementation testing of user-input validators for web applications (KT, NL, MRM, TX, NT), pp. 131–134.
CASE-2010-BarajasBGY #automation #validation: Virtual Launch & Validation of Manufacturing Automation Controls (LGB, SB, FG, CY), pp. 412–419.
CASE-2010-DhupatiKRR #analysis #detection #novel #speech #using #validation: A novel drowsiness detection scheme based on speech analysis with validation using simultaneous EEG recordings (LSD, SK, AR, AR), pp. 917–921.
DAC-2010-GoodenoughA #design: Post-silicon is too late avoiding the $50 million paperweight starts with validated designs (JG, RA), pp. 8–11.
DAC-2010-KeshavaHP #challenge #how #validation: Post-silicon validation challenges: how EDA and academia can help (JK, NH, CP), pp. 3–7.
DAC-2010-MitraSN #challenge #validation: Post-silicon validation opportunities, challenges and recent advances (SM, SAS, NN), pp. 12–17.
DAC-2010-NahirZGHACBFBK #validation #verification: Bridging pre-silicon verification and post-silicon validation (AN, AZ, RG, AJH, MA, AC, BB, HF, VB, SK), pp. 94–95.
DRR-2010-ChenMT #automation #performance #using #validation #word: Efficient automatic OCR word validation using word partial format derivation and language model (SC, DM, GRT), pp. 1–10.
FASE-2010-GhezziMS #automation #case study #multi #specification #validation: Automatic Cross Validation of Multiple Specifications: A Case Study (CG, AM, GS), pp. 233–247.
MSR-2010-NiaBDF #analysis #network #open source: Validity of network analyses in Open Source Projects (RN, CB, PTD, VF), pp. 201–209.
SCAM-2010-ThomasAHB #evolution #modelling #topic #validation: Validating the Use of Topic Models for Software Evolution (SWT, BA, AEH, DB), pp. 55–64.
SAS-2010-Goldberg #framework #in memory #memory management #optimisation #pipes and filters #validation: Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework — In Memory of Amir Pnueli (BG), pp. 6–21.
ILC-2010-YuasaY #low level #using #validation: Validating low-level instructions for fixnums using BDDs (SY, MY), pp. 11–20.
CAiSE-2010-MatuleviciusHK #documentation #quality: Validity of the Documentation Availability Model: Experimental Definition of Quality Interpretation (RM, NH, FK), pp. 236–250.
ICEIS-ISAS-2010-Dupuy-ChessaRM #community #design #information management #towards #validation: Towards a Community for Information System Design Validation (SDC, DR, NM), pp. 362–367.
ICEIS-SAIC-2010-CanturkS #distributed #validation: 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 #validation: LLN-based Model-Driven Validation of Data Points for Random Sample Consensus Methods (LZ, DW), pp. 3436–3439.
KDIR-2010-ScheinCHM #evaluation #novel #topic: Author Attribution Evaluation with Novel Topic Cross-validation (AIS, JFC, RJH, CHM), pp. 206–215.
KEOD-2010-KezadriP #ontology #towards #validation #verification: First Steps Toward a Verification and Validation Ontology (MK, MP), pp. 440–444.
KMIS-2010-Bani-HaniHJ #validation: Knowledge Validation in SMEs (AIBH, CJH, TWJ), pp. 354–357.
KMIS-2010-SrivastavaS #composition #game studies #using #validation: The Validation of a Dynamic Service Composition Model using a Simple Game (AS, PGS), pp. 260–266.
SEKE-2010-FeldtM #bibliography #empirical #re-engineering #research: Validity Threats in Empirical Software Engineering Research — An Initial Survey (RF, AM), pp. 374–379.
MoDELS-v1-2010-LucioBA #automation #model transformation #validation: A Technique for Automatic Validation of Model Transformations (LL, BB, VA), pp. 136–150.
POPL-2010-TristanL #pipes and filters #validation: A simple, verified validator for software pipelining (JBT, XL), pp. 83–92.
REFSQ-2010-SakhniniBM #effectiveness #elicitation #requirements #validation: 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 #validation: Pentagons: A weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 796–807.
SAC-2010-AraujoSCA #process #validation: A method for validating the compliance of business processes to business rules (BdMA, EAS, ALC, AJA), pp. 145–149.
SAC-2010-EspositoFd #nondeterminism #validation: Recovering uncertain mappings through structural validation and aggregation with the MoTo system (FE, NF, Cd), pp. 1428–1432.
SAC-2010-FariaMLPA #interactive #validation #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 #validation #xml: Using XML schema to improve writing, validation, and structure of WS-policies (SH, BS), pp. 2422–2429.
ICSE-2010-Caso #behaviour #re-engineering #validation: Behavioural validation of software engineering artefacts (GdC), pp. 335–336.
ICSE-2010-Caso10a #behaviour #re-engineering #validation: Behavioural validation of software engineering artefacts (GdC), pp. 505–506.
ICSE-2010-ChiappiniCMRRSTV #formal method #set #validation: Formalization and validation of a subset of the European Train Control System (AC, AC, LM, OR, MR, AS, ST, BV), pp. 109–118.
CC-2010-RideauL #validation: Validating Register Allocation and Spilling (SR, XL), pp. 224–243.
ICST-2010-FeldtTAR #challenge #industrial #process #validation #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 #validation #verification: Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process (OL), pp. 1–10.
ASE-2009-CavadaCMMMMPRST #requirements #validation: Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.
ASE-2009-GherbiKKHT #generative #validation: 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 #validation #verification: Improving Component Dependency Resolution with Soft Constraints, Validation and Verification (GJ), pp. 716–720.
ASE-2009-RayMACSM #using #validation #verification: Validating Automotive Control Software Using Instrumentation-Based Verification (AR, IM, CA, RC, CPS, CM), pp. 15–25.
ASE-2009-SaebjoernsenJQS #c #metaprogramming #preprocessor #validation: Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
DAC-2009-LiuX #design #validation: Interconnection fabric design for tracing signals in post-silicon validation (XL, QX), pp. 352–357.
DAC-2009-TamPB #automation #validation: Automated failure population creation for validating integrated circuit diagnosis methods (WCT, OP, RD(B), pp. 708–713.
DATE-2009-KochteZIKRWCP #modelling #transaction #using #validation: Test exploration and validation using transaction level models (MAK, CGZ, MEI, RSK, MR, HJW, SDC, PP), pp. 1250–1253.
DATE-2009-LiuX #validation: Trace signal selection for visibility enhancement in post-silicon validation (XL, QX), pp. 1338–1343.
FASE-2009-JahierHR #inheritance #modelling #validation: Synchronous Modeling and Validation of Priority Inheritance Schedulers (EJ, NH, PR), pp. 140–154.
PLDI-2009-TristanL #lazy evaluation #validation: Verified validation of lazy code motion (JBT, XL), pp. 316–326.
DHM-2009-SummerskillMCGSD #case study #evaluation #using #validation: 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 #validation: 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 #validation: Model-Based Specification and Validation of User Interface Requirements (BB, DS), pp. 587–596.
HCI-NT-2009-LeuteritzWK #multi #usability #validation: 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 #validation #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 #validation: Developing a Validation Methodology for Educational Driving Simulators and a Case Study (HS, KÇ, VI, GT, NO, UE), pp. 760–769.
AdaEurope-2009-DelangePF #architecture #requirements #safety #security #validation: Validating Safety and Security Requirements for Partitioned Architectures (JD, LP, PHF), pp. 30–43.
SIGAda-2009-DelangePPKSK #simulation #using #validation: Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.
ICEIS-ISAS-2009-KillispergerPSS #generative #process #validation: Method Manual based Process Generation and Validation (PK, GP, MS, TS), pp. 256–261.
ICEIS-J-2009-KrohaR #generative #requirements #validation: Text Generation for Requirements Validation (PK, MR), pp. 467–478.
ICEIS-SAIC-2009-BodenstaffWWJR #composition #design #monitoring #validation: Monitoring Service Compositions in MoDe4SLA — Design of Validation (LB, AW, RW, MCJ, MR), pp. 114–121.
KDD-2009-ChenCBT #learning #optimisation #random: Constrained optimization for validation-guided conditional random field learning (MC, YC, MRB, AET), pp. 189–198.
KEOD-2009-GarridoR #assessment #information management #representation #requirements #validation: 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 #validation: Formal Method for Validation of Product Design through Knowledge Modelling (SS, JO, WW), pp. 166–170.
SEKE-2009-SalamahBBPFC #specification #tool support #validation: Enhancing Property Specification Tools With Validation Techniques (SS, MDB, EB, SP, DF, LC), pp. 487–492.
MoDELS-2009-DhaussyPCRTB #validation: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
MoDELS-2009-DhaussyPCRTB #validation: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
RE-2009-JuretaMF #analysis #multi #requirements #validation: Analysis of Multi-Party Agreement in Requirements Validation (IJ, JM, SF), pp. 57–66.
SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation: 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-KongGL #keyword #xml: Retrieving valid matches for XML keyword search (LK, RG, AL), pp. 1536–1540.
SAC-2009-SilvaAM #approach #component #empirical #testing #validation: An approach for component testing and its empirical validation (FRCS, ESdA, SRdLM), pp. 574–581.
ICSE-2009-CasoBGU #abstraction #contract #finite #using #validation: Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
SLE-2009-GroenewegenV #domain-specific language #integration #user interface #validation #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 #validation: Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging (MD, HZ), pp. 61–72.
ASPLOS-2009-TucekXZ #execution #online #performance #validation: Efficient online validation with delta execution (JT, WX, YZ), pp. 193–204.
HPCA-2009-DeOrioWB #design #manycore #memory management #named #validation: Dacota: Post-silicon validation of the memory subsystem in multi-core designs (AD, IW, VB), pp. 405–416.
CAV-2009-CimattiRT #hybrid #requirements #validation: Requirements Validation for Hybrid Systems (AC, MR, ST), pp. 188–203.
CAV-2009-KaivolaGNTWPSTFRN #execution #testing #validation #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 #validation: Translation Validation: From Simulink to C (MR, OS), pp. 696–701.
CSL-2009-HorbachW #induction #query: Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries (MH, CW), pp. 332–347.
ICST-2009-AydalPUW #modelling #specification #testing #validation: Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation (EGA, RFP, MU, JW), pp. 131–140.
ICST-2009-KorelZT #source code #validation: Assertion-Based Validation of Modified Programs (BK, QZ, LT), pp. 426–435.
CBSE-2008-SunHM #data access #validation: Validating Access Control Configurations in J2EE Applications (LS, GH, HM), pp. 64–79.
ASE-2008-Hall #modelling #queue #realtime #specification #using #validation: Validating Real Time Specifications using Real Time Event Queue Modeling (RJH), pp. 79–88.
DATE-2008-CosteGHHTZ #architecture #design #embedded #evaluation #parallel #thread #validation: 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 #validation: Semantics for Model-Based Validation of Continuous/Discrete Systems (LG, FB, GN, HB), pp. 498–503.
DATE-2008-KoN #automation #identification #validation: 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 #validation: On Automated Trigger Event Generation in Post-Silicon Validation (HFK, NN), pp. 256–259.
DATE-2008-WuH #algorithm #design #performance #validation: Efficient Design Validation Based on Cultural Algorithms (WW, MSH), pp. 402–407.
CSMR-2008-LiTLMC #requirements #validation #verification: Coping with Requirements Changes in Software Verification and Validation (SL, LT, WL, MM, GC), pp. 317–318.
PASTE-2008-DeRD #java #memory management #validation: Java memory model aware software validation (AD, AR, DD), pp. 8–14.
PASTE-2008-ZaksP #compilation #program analysis #validation: Program analysis for compiler validation (AZ, AP), pp. 1–7.
FM-2008-ChalinR #fault #ml #performance #runtime #using: JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
FM-2008-ZaksP #compilation #named #program analysis #validation: CoVaC: Compiler Validation by Program Analysis of the Cross-Product (AZ, AP), pp. 35–51.
ICGT-2008-Dang #behaviour #graph grammar #ocl #validation: Triple Graph Grammars and OCL for Validating System Behavior (DHD), pp. 481–483.
ICEIS-HCI-2008-FurtadoSFC #case study #communication #design #interactive #requirements #validation: 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 #validation: Form Input Validation — An Empirical Study on Irish Corporate Websites (ML, MH, MB), pp. 148–153.
CIKM-2008-LeeSZL #mobile #query: Valid scope computation for location-dependent spatial query in mobile broadcast environments (KCKL, JS, BZ, WCL), pp. 1231–1240.
ICML-2008-Rosset #kernel: Bi-level path following for cross validated solution of kernel quantile regression (SR), pp. 840–847.
ICPR-2008-ChamaretM #using #validation #video: Attention-based video reframing: Validation using eye-tracking (CC, OLM), pp. 1–4.
ICPR-2008-RastgarZWD #estimation #robust #validation: Validation of correspondences in MLESAC robust estimation (HR, LZ, DW, ED), pp. 1–4.
ICPR-2008-YousriKI #clustering #novel: A novel validity measure for clusters of arbitrary shapes and densities (NAY, MSK, MAI), pp. 1–4.
SEKE-2008-NakaoaTM #case study #independence #validation #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 #validation: 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 #validation: Annotation Framework Validation Using Domain Models (CN, LD), pp. 48–62.
MoDELS-2008-ObataI #modelling #validation: 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 #validation: Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
MoDELS-2008-ObataI #modelling #validation: 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 #validation: Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
ECOOP-2008-SevcikA #java #memory management #on the #program transformation: On Validity of Program Transformations in the Java Memory Model (JS, DA), pp. 27–51.
TOOLS-EUROPE-2008-AydalUW #comparison #modelling #tool support #validation: A Comparison of State-Based Modelling Tools for Model Validation (EGA, MU, JW), pp. 278–296.
POPL-2008-TristanL #case study #optimisation #scheduling #validation #verification: Formal verification of translation validators: a case study on instruction scheduling optimizations (JBT, XL), pp. 17–27.
SAC-2008-AntonyBHP #approach #biology #interactive #mining #using #validation: Computational approach to biological validation of protein-protein interactions discovered using literature mining (AA, SB, SH, MJP), pp. 1302–1306.
SAC-2008-Klugl #simulation #validation: A validation methodology for agent-based simulations (FK), pp. 39–43.
SAC-2008-LogozzoF #abstract domain #array #named #performance #relational #validation: Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 184–188.
ICSE-2008-ScaffidiMS #abstraction #named #reuse #validation: Topes: reusable abstractions for validating data (CS, BAM, MS), pp. 1–10.
ICSE-2008-ScaffidiMS08a #tool support #validation: Tool support for data validation by end-user programmers (CS, BAM, MS), pp. 867–870.
SPLC-2008-MagroGP #product line #validation: A Software Product Line Definition for Validation Environments (BM, JG, JP), pp. 45–54.
HPCA-2008-ChenMP #constraints #graph #memory management #runtime #using #validation: Runtime validation of memory ordering using constraint graph checking (KC, SM, PP), pp. 415–426.
HPCA-2008-KumarA #trade-off #validation: Speculative instruction validation for performance-reliability trade-off (SK, AA), pp. 405–414.
OSDI-2008-WilliamsRWSS #safety #validation: Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
CAV-2008-KunduLG #synthesis #validation: Validating High-Level Synthesis (SK, SL, RG), pp. 459–472.
CAV-2008-WilhelmW #abstract interpretation #validation: Abstract Interpretation with Applications to Timing Validation (RW, BW), pp. 22–36.
MBT-2008-PonsG #approach #lightweight #semantics #validation: A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.
CBSE-2007-BaiWDTC #collaboration #contract #framework #validation #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 #validation: Non-Functional Modeling and Validation in Model-Driven Architecture (VC, ADM, PI), p. 25.
ASE-2007-ChangR #execution #validation: Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.
ASE-2007-Hall #infinity #modelling #named #realtime #validation: Rteq: modeling and validating infinite-state hard-real-time systems (RJH), pp. 481–484.
DAC-2007-AdirAFJP #architecture #framework #validation: A Framework for the Validation of Processor Architecture Compliance (AA, SA, LF, IJ, OP), pp. 902–905.
DAC-2007-BhatiaGTMM #equivalence #multi #performance #validation: 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 #validation: 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 #validation: Model-driven Validation of SystemC Designs (HDP, SKS), pp. 29–34.
DATE-2007-BombieriFP #design #functional #incremental #refinement #validation: Incremental ABV for functional validation of TL-to-RTL design refinement (NB, FF, GP), pp. 882–887.
DATE-2007-FengZTC #design #fault #metric #validation: 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 #validation: 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 #validation: Design fault directed test generation for microprocessor validation (DM, SKS, SVK, DJL, AD), pp. 761–766.
DATE-2007-ZhuSD #functional #interactive #pipes and filters #validation: Interactive presentation: Functional and timing validation of partially bypassed processor pipelines (QZ, AS, ND), pp. 1164–1169.
CSMR-2007-AoumeurBS #adaptation #component #distributed #incremental #information management #runtime #specification #validation: Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems (NA, KB, GS), pp. 123–136.
ICPC-2007-LangeC #comprehension #interactive #modelling #uml #validation: Interactive Views to Improve the Comprehension of UML Models — An Experimental Validation (CFJL, MRVC), pp. 221–230.
ICSM-2007-RenC #named #testing #tool support #validation: ATTEST: A Testing Toolkit for Validating Software Properties (Y(R, FC), pp. 469–472.
PASTE-2007-ChinMMM #programming #validation: Enforcing and validating user-defined programming disciplines (BC, DM, SM, TDM), pp. 85–86.
IFM-2007-PlaggeL #model checking #specification #using #validation: Validating Z Specifications Using the ProBAnimator and Model Checker (DP, ML), pp. 480–500.
SEFM-2007-KumarG #modelling #validation: Recovery from DoS Attacks in MIPv6: Modeling and Validation (MCK, KG), pp. 205–214.
ICFP-2007-SimsD #case study #experience #validation: Experience report: the reactis validation tool (SS, DCD), pp. 137–140.
CHI-2007-ClarksonLCS #validation: Revisiting and validating a model of two-thumb text entry (EC, KL, JC, TS), pp. 163–166.
CHI-2007-JohnsenRSLL #education #experience: The validity of a virtual human experience for interpersonal skills education (KJ, AR, AOS, DSL, BL), pp. 1049–1058.
DHM-2007-MariasDSZGMMT #analysis #information management #modelling #multi #validation: 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 #validation: Validating Optical Motion Capture Assessments of the Dynamic Aspects of Work (JS, VGD), pp. 197–204.
DHM-2007-TianDM #analysis #design #interactive: Effecting Validity of Ergonomics Analysis During Virtual Interactive Design (RT, VGD, JM), pp. 988–997.
DHM-2007-YangRMAH #predict #validation: Validation of Predicted Posture for the Virtual Human SantosTM (JY, SR, TM, KAM, CH), pp. 500–510.
HCI-IDU-2007-CortierdA #java #user interface #validation: Formal Validation of Java/Swing User Interfaces with the Event B Method (AC, Bd, YAA), pp. 1062–1071.
HCI-IDU-2007-LingLX #complexity #using #validation #web: Validating Information Complexity Questionnaires Using Travel Web Sites (CL, ML, JX), pp. 901–910.
HCI-IDU-2007-Rintel: Maximizing Environmental Validity: Remote Recording of Desktop Videoconferencing (ESR), pp. 911–920.
HCI-IPT-2007-CowellHBFBJDJF #analysis #framework #validation: 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: 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 #validation: Concepts for Incremental Method Evolution: Empirical Exploration and Validation in Requirements Management (IvdW, SB, JV), pp. 469–484.
EDOC-2007-TapiaDE #maturity #validation: 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 #validation: Weighting versus pruning in rule validation for detecting network and host anomalies (GT, PKC), pp. 697–706.
MLDM-2007-SaittaRS #bound #clustering: A Bounded Index for Cluster Validity (SS, BR, IFCS), pp. 174–187.
SEKE-2007-FuDASH #approach #correctness #java #validation: An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
SEKE-2007-WeiAZ #effectiveness #framework #network #validation: Validating A Layered Decision Framework for Cost-Effective Network Defense (HW, JAF, DZ), pp. 105–110.
SIGIR-2007-CormackL #power of: Validity and power of t-test for comparing MAP and GMAP (GVC, TRL), pp. 753–754.
ECMDA-FA-2007-UlrichP #case study #distributed #industrial #modelling #reverse engineering #validation: 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 #validation #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 #validation #web: A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.
ECOOP-2007-LuPX #invariant: Validity Invariants and Effects (YL, JP, JX), pp. 202–226.
TOOLS-EUROPE-2007-Vicente-ChicoteMA #modelling #named #pretty-printing #requirements #specification #validation: REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting (CVC, BM, JATÁ), pp. 437–454.
RE-2007-YuNGCMELV #aspect-oriented #validation: Tracing and Validating Goal Aspects (YY, NN, BGB, WC, JM, SME, JCSdPL, GV), pp. 53–56.
ICSE-2007-FroihoferGOG #bibliography #constraints #evaluation #java #validation: Overview and Evaluation of Constraint Validation Approaches in Java (LF, GG, JO, KMG), pp. 313–322.
ICSE-2007-PistoiaFFY #enterprise #modelling #policy #security #validation: When Role Models Have Flaws: Static Validation of Enterprise Security Policies (MP, SJF, RJF, EY), pp. 478–488.
DAC-2006-EeckelaertSGSS #design #optimisation #standard: Hierarchical bottom--up analog optimization methodology validated by a delta-sigma A/D converter design for the 802.11a/b/g standard (TE, RS, GGEG, MS, WMCS), pp. 25–30.
DAC-2006-MajumdarCG #analysis #validation: Hold time validation on silicon and the relevance of hazards in timing analysis (AM, WYC, JG), pp. 326–331.
DATE-2006-Harris #metric #process #validation: A coverage metric for the validation of interacting processes (IGH), pp. 1019–1024.
DATE-2006-KooM #functional #generative #pipes and filters #testing #using #validation: Functional test generation using property decompositions for validation of pipelined processors (HMK, PM), pp. 1240–1245.
ICSM-2006-JansenB #deployment #process #validation: 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 #validation: An Approach to Aid the Understanding and Maintenance of Input Validation (HL, HBKT), pp. 370–379.
SCAM-2006-NogueraP #java #named #programming #validation: AVal: an Extensible Attribute-Oriented Programming Validator for Java (CN, RP), pp. 175–183.
FM-2006-Cohen #validation: Validating the Microsoft Hypervisor (EC), p. 81.
FM-2006-VerhoefLH #distributed #embedded #modelling #realtime #validation: Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ (MV, PGL, JH), pp. 147–162.
SEFM-2006-KanadeSK #compilation #framework #optimisation #validation: A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.
SEFM-2006-SukumaranSV #approach #requirements #validation: A Rigorous Approach to Requirements Validation (SS, AS, RV), pp. 236–245.
CHI-2006-GuanLCR #eye tracking: The validity of the stimulated retrospective think-aloud method as measured by eye tracking (ZG, SL, EC, JR), pp. 1253–1262.
SOFTVIS-2006-KnodelMNZ #architecture #empirical #towards #visualisation: Towards empirically validated software architecture visualization (JK, DM, MN, DZ), pp. 187–188.
ICEIS-DISI-2006-ModrakM #dependence: Elimination of Time Dependence of Information Validity by Application of RFID Technology (VM, VM), pp. 130–135.
ICEIS-ISAS-2006-BokhariP #information management #petri net #using #validation: Validation of Information Systems Using Petri Nets (AB, WFSP), pp. 284–289.
ICEIS-ISAS-2006-PetersenLA #elicitation #modelling #requirements #validation: Interoperablity Requirements Elicitation, Validation and Solutions Modelling (SAP, FML, MA), pp. 152–159.
ICEIS-J-2006-PetersenLA06a #elicitation #modelling #requirements #validation #visualisation: Modelling and Visualisation for Interoperability Requirements Elicitation and Validation (SAP, FML, MA), pp. 241–253.
CIKM-2006-CoutoSC #biology #database #validation: Validating associations in biological databases (FMC, MJS, PC), pp. 142–151.
CIKM-2006-YangJZNX #clustering #documentation #ranking #using #validation: Document re-ranking using cluster validation and label propagation (LY, DHJ, GZ, NY, GX), pp. 690–697.
ICPR-v1-2006-EvansF #validation: Cross Validation and Segment Support for Stereo Belief Propagati (ME, JMF), pp. 115–118.
ICPR-v1-2006-LublinermanOZC #linear #process #recognition #using #validation: Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques (RL, NO, DZ, OIC), pp. 347–350.
ICPR-v1-2006-MollerR #approach #clustering #nearest neighbour: A Cluster Validity Approach based on Nearest-Neighbor Resampling (UM, DR), pp. 892–895.
ICPR-v3-2006-AnLV #classification #performance: Efficient Cross-validation of the Complete Two Stages in KFD Classifier Formulation (SA, WL, SV), pp. 240–244.
ICPR-v4-2006-FengL #clustering #graph #self: Self-Validated and Spatially Coherent Clustering with Net-Structured MRF and Graph Cuts (WF, ZQL), pp. 37–40.
KDD-2006-GuoV #mining #multi #relational #validation: Mining relational data through correlation-based multiple view validation (HG, HLV), pp. 567–573.
KDD-2006-XiongWC #clustering #metric #perspective #validation: K-means clustering versus validation measures: a data distribution perspective (HX, JW, JC), pp. 779–784.
PPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict #validation: 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 #validation: Osprey: a practical type system for validating dimensional unit correctness of C programs (LJ, ZS), pp. 262–271.
ISSTA-2006-CentonzeNFP #consistency #data access #validation: Role-Based access control consistency validation (PC, GN, SJF, MP), pp. 121–132.
DATE-2005-AbdiG #functional #scheduling #validation: Functional Validation of System Level Static Scheduling (SA, DDG), pp. 542–547.
DATE-2005-MishraD #functional #generative #pipes and filters #testing #validation: Functional Coverage Driven Test Generation for Validation of Pipelined Processors (PM, NDD), pp. 678–683.
DRR-2005-OertelOBB #documentation #recognition #using #validation #web: Using the web to validate document recognition results: experiments with business cards (CO, SO, AB, DB), pp. 17–27.
ICDAR-2005-KanounAL #approach #recognition #validation #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 #validation: Design, development, and validation of a learning object for CS1 (GN, LKS, AS, SP, JL), p. 370.
TACAS-2005-SharmaPC #bound #logic: Bounded Validity Checking of Interval Duration Logic (BS, PKP, SC), pp. 301–316.
FM-2005-RusuMJ #automation #consistency #safety #testing #validation #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 #validation: Systematical Validation of Learning in Agile Software Development Environment (OS), pp. 92–96.
SEKE-2005-BeydounGLH #metamodelling #multi #towards #validation: 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 #validation: Formal validation of pattern matching code (CK, PEM, AR), pp. 187–197.
RE-2005-Some #case study #requirements #validation: Use Cases based Requirements Validation with Scenarios (SSS), pp. 465–466.
SAC-2005-DiazLPCV #approach #behaviour #e-commerce #probability #protocol #realtime #set #validation: 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 #validation: Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.
ESEC-FSE-2005-Sherriff #fault #validation #verification: Utilizing verification and validation certificates to estimate software defect density (MS), pp. 381–384.
ICSE-2005-ChatleyUKM #animation #requirements #validation #web: Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.
ICSE-2005-MenziesPCHS #modelling #validation: Validation methods for calibrating software effort models (TM, DP, ZC, JH, SS), pp. 587–595.
COCV-J-2005-HuBGP #optimisation #validation: Validating More Loop Optimizations (YH, CWB, BG, AP), pp. 69–84.
HPDC-2005-LuCSG #streaming #validation: A streaming validation model for SOAP digital signature (WL, KC, AS, DG), pp. 243–252.
AMOST-2005-BouquetJLPU #automation #generative #requirements #smarttech #testing #traceability #validation: Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU).
AMOST-2005-LiN #image #modelling #testing #validation #verification: Modeling for image processing system validation, verification and testing (XL, RN).
CAV-2005-ArmandoBBCCCDHKMMORSTVV #automation #internet #protocol #security #validation: 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 #validation: TVOC: A Translation Validator for Optimizing Compilers (CWB, YF, BG, YH, AP, LDZ), pp. 291–295.
CAV-2005-Bentley #validation: Validating a Modern Microprocessor (BB), pp. 2–4.
TestCom-2005-Maibaum #testing #validation #verification: The Epistemology of Validation and Verification Testing (TSEM), pp. 1–8.
VMCAI-2005-Martel #bibliography #semantics #source code #validation: An Overview of Semantics for the Validation of Numerical Programs (MM), pp. 59–77.
ASE-2004-BousquetLMOL #case study #validation: Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.
ASE-2004-CompareDMI #automation #design #experience #industrial #performance #validation: Automated Performance Validation of Software Design: An Industrial Experience (DC, AD, ADM, PI), pp. 298–301.
ASE-2004-HallZ #behaviour #requirements #validation: Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.
DATE-DF-2004-BlancGG #architecture #case study #experience #validation: Experiences during the Experimental Validation of the Time-Triggered Architecture (SB, JG, PJG), pp. 256–261.
DATE-DF-2004-Thiel #validation: Have I Really Met Timing? — Validating PrimeTime Timing Reports with Spice (TT), pp. 114–119.
DATE-v1-2004-GoloubevaRV #automation #generative #validation: Automatic Generation of Validation Stimuli for Application-Specific Processors (OG, MSR, MV), pp. 188–193.
DATE-v1-2004-MousaviGTSB #design #framework #modelling #validation: Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.
DATE-v1-2004-Wang #learning #simulation #validation: 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 #validation: Unified Component Integration Flow for Multi-Processor SoC Design and Validation (MAD, WOC, FRW, AAJ), pp. 1132–1137.
DocEng-2004-Dymetman #authoring #documentation #editing #predict: Chart-parsing techniques and the prediction of valid editing moves in structured document authoring (MD), pp. 229–238.
SIGMOD-2004-BawaGGM #network: The Price of Validity in Dynamic Networks (MB, AG, HGM, RM), pp. 515–526.
VLDB-2004-TenienteFUBG #named #validation: SVT: Schema Validation Tool for Microsoft SQL-Server (ET, CF, TU, CB, DG), pp. 1349–1352.
ICSM-2004-EverittTT #architecture #evaluation #process #validation: Validating and Improving an Existing Software Architectural Evaluation Process (TE, RTT, JDT), pp. 417–421.
PASTE-2004-Martel #assembly #source code #validation: Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.
SEFM-2004-HuBG #algorithm #generative #optimisation #validation: 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 #validation: Empirical Validation of Metrics for Conceptual Models of Data Warehouses (MAS, CC, JT, SLM, MP), pp. 506–520.
CAiSE-2004-SofferW #analysis #process: Goal-Driven Analysis of Process Model Validity (PS, YW), pp. 521–535.
CIKM-2004-NiuJT #clustering #documentation #validation: Document clustering based on cluster validation (ZYN, DHJ, CLT), pp. 501–506.
ICPR-v2-2004-ErikssonC #2d #analysis: Maximizing Validity in 2D Motion Analysis (ME, SC), pp. 179–183.
ICPR-v2-2004-HanheideBS #consistency #memory management #validation: Memory Consistency Validation in a Cognitive Vision System (MH, CB, GS), pp. 459–462.
SEKE-2004-CorreaW #approach #specification #transaction #validation: 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 #validation: Case Study Methodology Designed Research in Software Engineering Methodology Validation (SWL, DCR), pp. 117–122.
RE-2004-CorreaW #precise #specification #transaction #validation: Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.
RE-2004-UchitelCKM #animation #requirements #validation: Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.
SAC-2004-BolshakovaAC #array #assessment #clustering: An integrated tool for microarray data clustering and cluster validity assessment (NB, FA, PC), pp. 133–137.
ICSE-2004-AntoniuSKNF #correctness #source code #spreadsheet #validation: Validating the Unit Correctness of Spreadsheet Programs (TA, PAS, SK, EN, MF), pp. 439–448.
CAV-2004-BarrettB #implementation: CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (CWB, SB), pp. 515–518.
TestCom-2004-CavalliMZCMCML #multi #validation: 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 #validation: Mutation Testing Applied to Validate SDL Specifications (TS, JCM, WEW), pp. 193–208.
ASE-2003-HallZ #bibliography #validation: Overview of OpenModel-based Validation with Partial Information (RJH, AZ), pp. 347–351.
DATE-2003-LaurentK #validation: A System to Validate and Certify Soft and Hard IP (BL, TK), pp. 20208–20213.
DATE-2003-ZhangM #implementation #independence #satisfiability #using #validation: Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications (LZ, SM), pp. 10880–10885.
DRR-2003-MaderlechnerS #recognition #set #using: Extraction of valid data sets in registers using recognition of invalidation lines (GM, PS), pp. 67–72.
TACAS-2003-BarayCDM #functional #generative #testing #validation: Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.
TACAS-2003-FontaineG #decidability #invariant #validation: Decidability of Invariant Validation for Paramaterized Systems (PF, EPG), pp. 97–112.
CSMR-2003-GibbsM #aspect-oriented #c++ #invariant #validation #weaving: Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.
FME-2003-CompareIPS #analysis #architecture #lifecycle #model checking #validation: Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle (DC, PI, PP, AS), pp. 114–132.
SEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml #validation: Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.
SFM-2003-KavehE #component #design #distributed #validation: Validating Distributed Object and Component Designs (NK, WE), pp. 63–91.
AGTIVE-2003-QemaliT #graph transformation #towards #validation #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 #validation: AGG: A Graph Transformation Environment for Modeling and Validation of Software (GT), pp. 446–453.
ICEIS-v1-2003-BouchouALD #automaton #constraints #validation #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 #validation: Empirical Validation of Metrics for UML Statechart Diagrams (DM, MG, MP), pp. 87–95.
KDD-2003-PerngTGMH #data-driven #network #validation: Data-driven validation, completion and construction of event relationship networks (CSP, DT, GG, SM, JLH), pp. 729–734.
SEKE-2003-ChapinK #data mining #metric #mining #re-engineering: Validative measurement in software engineering: a data mining example (NC, MKM), pp. 626–633.
SEKE-2003-DingZSA #architecture #fault tolerance #specification #validation: 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: Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.
UML-2003-SussLWK #evolution #validation: Model-Centric Engineering with the Evolution and Validation Environment (JGS, AL, HW, RDK), pp. 31–43.
SAC-2003-EngelenWY #embedded #validation: Validation of Code-Improving Transformations for Embedded Systems (RvE, DBW, XY), pp. 684–691.
SAC-2003-ZhengLL: Selecting the Best Valid Scopes for Wireless Dissemination of Location-dependent Data (BZ, WCL, DLL), pp. 860–865.
ESEC-FSE-2003-BaresiHTV #architecture #modelling #validation: 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 #validation: 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 #validation: Validating UML models against architectural profiles (PS, JX), pp. 58–67.
CADE-2003-GieslK #equation #induction: Deciding Inductive Validity of Equations (JG, DK), pp. 17–31.
CSL-2003-SamerV #query #revisited: Validity of CTL Queries Revisited (MS, HV), pp. 470–483.
RTA-2003-BartheS #framework #induction #validation: Validation of the JavaCard Platform with Implicit Induction Techniques (GB, SS), pp. 337–351.
ASE-2002-CsertanHMPPV #automation #modelling #named #uml #validation #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 #validation: Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.
ASE-2002-GrundyD #aspect-oriented #automation #component #using #validation: Automatic Validation of Deployed J2EE Components Using Aspects (JCG, GD), p. 47–?.
DAC-2002-LiouKWC #analysis #performance #statistics #testing #validation: 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 #validation: A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems (RM, MD, FS, RH), p. 1095.
PODS-2002-SegoufinV #documentation #streaming #validation #xml: Validating Streaming XML Documents (LS, VV), pp. 53–64.
TACAS-2002-ChaH #constraints #distributed #execution #realtime #validation: Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems (HC, RH), pp. 83–97.
CIAA-2002-LargeteauG #distributed #realtime #validation: Term Validation of Distributed Hard Real-Time Applications (GL, DG), pp. 262–269.
ICALP-2002-HermenegildoPBL #approximate #debugging #semantics #specification #using #validation: Program Debugging and Validation Using Semantic Approximations and Partial Specifications (MVH, GP, FB, PLG), pp. 69–72.
CAiSE-2002-Brodie #challenge: The Grand Challenge in Information Technology and the Illusion of Validity (MLB), p. 1.
CAiSE-2002-GeneroPP #concept #metric #quality #validation: Defining and Validating Measures for Conceptual Data Model Quality (MG, GP, MP), pp. 724–727.
CAiSE-2002-LeicherB #component #requirements #validation: External Requirements Validation for Component-Based Systems (AL, FB), pp. 404–419.
ICEIS-2002-CastelaTGL #analysis #bibliography #modelling #process #validation: Survey, Analysis and Validation of Information for Business Process Modeling (NC, JMT, AG, ERL), pp. 803–806.
CIKM-2002-ChenDZ #constraints #named #validation #xml: XKvalidator: a constraint validator for XML (YC, SBD, YZ), pp. 446–452.
CIKM-2002-SpanglerK #editing #interactive #taxonomy #validation: Interactive methods for taxonomy editing and validation (WSS, JTK), pp. 665–668.
ICML-2002-MusleaMK02a #adaptation #automation #detection #towards #validation: Adaptive View Validation: A First Step Towards Automatic View Detection (IM, SM, CAK), pp. 443–450.
ICPR-v2-2002-Andrade-CettoS #concurrent #locality #validation: Concurrent Map Building and Localization with Landmark Validation (JAC, AS), pp. 693–696.
ICPR-v3-2002-LiuL #image #validation: Inverse Validation for Accurate Range Image Registration with Structured Data (YL, FL), pp. 537–540.
RE-2002-FenkamGJ #case study #requirements #validation #visual notation: Visual Requirements Validation: Case Study in a Corba-Supported Environment (PF, HCG, MJ), pp. 81–90.
RE-2002-SutcliffG #functional #requirements #validation: Validating Functional System Requirements with Scenarios (AGS, AG), pp. 181–190.
SAC-2002-Dandashi #automation #metric #object-oriented #reuse #set #using: A method for assessing the reusability of object-oriented code using a validated set of automated measurements (FD), pp. 997–1003.
ICSE-2002-AcunaLQ #process #validation: Human capacities in the software process: empiric validation (STA, CML, VEQ), p. 715.
ICSE-2002-LenceviciusMR #using #validation: Software validation using power profiles (RL, EM, AR), p. 709.
ICSE-2002-Schmid #approach #product line #validation: A comprehensive product line scoping approach and its validation (KS), pp. 593–603.
SPLC-2002-Mannion #first-order #logic #product line #using #validation: Using First-Order Logic for Product Line Model Validation (MM), pp. 176–187.
CAV-2002-BozgaGM #component #realtime #validation: IF-2.0: A Validation Environment for Component-Based Real-Time Systems (MB, SG, LM), pp. 343–348.
CAV-2002-StumpBD #named: CVC: A Cooperating Validity Checker (AS, CWB, DLD), pp. 500–504.
TestCom-2002-Horvath #ad hoc #automation #generative #modelling #protocol #testing #validation: Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation (EH), p. 235–?.
ASE-2001-Hall #modelling #network #product line #security #specification #validation: Specification Modeling and Validation Applied to a Family of Network Security Products (RJH), pp. 71–80.
ASE-2001-ShenCH #state machine #tool support #uml #validation: A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
ASE-2001-SimsCBR #automation #modelling #validation: Automated Validation of Software Models (SS, RC, KB, SR), p. 91–?.
DAC-2001-Bentley #validation: Validating the Intel Pentium 4 Microprocessor (BB), pp. 244–248.
DocEng-2001-VarlamisV #database #documentation #generative #relational #using #xml: Bridging XML-schema and relational databases: a system for generating and manipulating relational databases using valid XML documents (IV, MV), pp. 105–114.
ICDAR-2001-FreitasBS #approach #recognition #set #validation #word: Handwritten Isolated Word Recognition: An Approach Based on Mutual Information for Feature Set Validation (COdAF, FB, RS), pp. 665–669.
ICDAR-2001-SrihariCAL #validation: Individuality of Handwriting: A Validation Study (SNS, SHC, HA, SL), pp. 106–109.
VLDB-2001-AnciauxBBPV #experience #named #validation: PicoDBMS: Validation and Experience (NA, CB, LB, PP, PV), pp. 709–710.
TACAS-2001-Carvajal-SchiaffinoDC #bound #petri net #validation: 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 #validation: The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.
ICSM-2001-KrishnaCKCWBR #empirical #impact analysis #incremental #maintenance #spreadsheet #validation: 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 #validation #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 #validation: Static validation of dynamically generated HTML (CB, AM, MIS), pp. 38–45.
FME-2001-ArditiBCS #generative #testing #validation: 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 #validation: 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: Validation of UML Models Thanks to Z and Lustre (SDC, LdB), pp. 242–258.
FME-2001-SherifSC #approach #realtime #specification #validation: An Integrated Approach to Specification and Validation of Real-Time Systems (AS, AS, SC), pp. 278–299.
ICFP-2001-Chuang #parametricity #validation: Generic Validation of Structural Content with Parametric Modules (TRC), pp. 98–109.
CHI-2001-IvorySH #design #empirical #metric #web: Empirically validated web page design metrics (MYI, RRS, MAH), pp. 53–60.
ICML-2001-BlockeelS #algorithm #performance: Efficient algorithms for decision tree cross-validation (HB, JS), pp. 11–18.
MLDM-2001-ToivonenVVBV #clustering #documentation #validation: Validation of Text Clustering Based on Document Contents (JT, AV, TV, BB, HV), pp. 184–195.
UML-2001-ApvrilleSLSC #design #realtime #uml #validation: 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 #validation: Specification Modeling and Validation Applied to Network Security Gateways (RJH), pp. 289–291.
RE-2001-WinterDC #modelling #requirements #validation: Virtual Environment Modeling for Requirements Validation of High Consequence Systems (VLW, DD, BC), pp. 23–30.
SAC-2001-DowellB #graph #mobile #monte carlo #network #random #simulation #validation: Connectivity of random graphs and mobile networks: validation of Monte Carlo simulation results (LJD, MLB), pp. 77–81.
ICSE-2001-EbertPSK #development #process #validation: Improving Validation Activities in a Global Software Development (CE, CHP, RS, HK), pp. 545–554.
CAV-2001-VelevB #logic #named #similarity: EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations (MNV, REB), pp. 235–240.
ASE-2000-NoahW #automation #database #design #performance #tool support #validation: Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools (SAN, MDW), pp. 177–186.
DATE-2000-CornoRSMP #automation #experience #generative #industrial #validation: Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience (FC, MSR, GS, AM, AP), pp. 385–389.
TACAS-2000-BodeveixF #infinity #named #validation: FMona: A Tool for Expressing Validation Techniques over Infinite State Systems (JPB, MF), pp. 204–219.
TACAS-2000-GnesiLLAAM #fault #specification #validation: A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (SG, DL, GL, CA, AMA, PM), pp. 535–549.
WCRE-2000-HendrixCM #diagrams #validation: An Experimental Validation of Control Structure Diagrams (TDH, JHCI, SM), p. 224–?.
PLDI-2000-Necula #compilation #optimisation #validation: Translation validation for an optimizing compiler (GCN), pp. 83–94.
ICEIS-2000-VarvalhoANKCBR #concurrent #nondeterminism #validation: Concurrent Validation in the Treatment of Uncertainty in a Expert System (LFdC, FMdA, SMN, CK, HJTdC, CTB, FR), pp. 102–107.
ICML-2000-MullinS #classification #nearest neighbour: Complete Cross-Validation for Nearest Neighbor Classifiers (MDM, RS), pp. 639–646.
ICML-2000-YangAP #effectiveness #learning #multi #validation: Combining Multiple Learning Strategies for Effective Cross Validation (YY, TA, TP), pp. 1167–1174.
ICPR-v2-2000-Bax #using #validation: Using Validation by Inference to Select a Hypothesis Function (EB), pp. 2700–2703.
ICPR-v2-2000-HolzL #set #using #validation: Validation of Relative Feature Importance Using a Natural Data Set (HJH, MHL), pp. 2414–2417.
UML-2000-RichtersG #constraints #modelling #ocl #uml #validation: Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.
TOOLS-USA-2000-Khwaja #concurrent #embedded #multi #testing #thread #validation: An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller (AAK), pp. 15–24.
ICRE-2000-GervasiN #case study #lightweight #natural language #requirements #validation: Lightweight Validation of Natural Language Requirements: A Case Study (VG, BN), pp. 140–149.
ICRE-2000-HorlA #communication #requirements #validation: Requirements Validation of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 190.
SAC-2000-JaberNR #approach #product line #validation: Product Line Stakeholder Viewpoint Approach and Validation Model (KJ, NN, DCR), pp. 871–875.
SAC-2000-Nunez-SuarezOB #standard #validation: Validating the FIPA Standards Through a Real-World Application (JNS, DO, HB), pp. 557–562.
LCTES-2000-EngelenWY #automation #validation: Automatic Validation of Code-Improving Transformations (RvE, DBW, XY), pp. 206–210.
CAV-2000-BozgaFGGKM #named #validation: IF: A Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 543–547.
ISSTA-2000-Clarke #finite #validation #verification: Finite state verification: An emerging technology for validating software systems (abstract only) (LAC), p. 146.
ASE-1999-DevulderL #case study #comparative #linear #programming #validation #verification: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods (SD, JLL), pp. 299–302.
ASE-1999-HendersonW #component #design #validation: Component-based Systems as an Aid to Design Validation (PH, RJW), pp. 303–306.
ASE-1999-LingamarlaSLWEG #automation #embedded #multi #validation: System for Automated Validation of Embedded Software in Multiple Operating Configurations (SL, GBS, JL, MW, GE, SG), pp. 323–326.
DAC-1999-FournierKL #architecture #validation: Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture (LF, AK, ML), pp. 189–194.
DATE-1999-DalpassoBB #design #distributed #specification #validation: Specification and Validation of Distributed IP-Based Designs with JavaCAD (MD, AB, LB), pp. 684–688.
ICDAR-1999-CordellaFSV #approach #documentation #multi #validation: Document Validation by Signature: A Serial Multi-Expert Approach (LPC, PF, CS, MV), pp. 601–604.
WCRE-1999-CimitileFV #empirical #impact analysis #validation: A Software Model for Impact Analysis: A Validation Experiment (AC, ARF, GV), p. 212–?.
FM-v1-1999-BozgaFGGKM #named #representation #validation: IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 307–327.
FM-v1-1999-Liu #consistency #specification #testing #verification: Verifying Consistency and Validity of Formal Specifications by Testing (SL), pp. 896–914.
FM-v1-1999-SabatierL #design #formal method #smarttech #transaction #validation: 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 #validation: 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: 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 #validation: Automatic Operation Logging and Usability Validation (AH), pp. 1128–1133.
HCI-EI-1999-LoiseletHD #research: From Field to Simulator and Microworld Studies: The Ecological Validity of Research (AL, JMH, PD), pp. 880–884.
HCI-EI-1999-PrabhuH #design #question #user interface #validation: 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 #validation: Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems (NA, GS), pp. 381–395.
ICEIS-1999-CaleroPPR #database #metric #quality #validation: Validating Referential Integrity as a Database Quality Metric (CC, MP, MP, FR), pp. 45–50.
ICEIS-1999-ThiyagarajahO #database #optimisation #prototype #query #validation: Prototype Validation of the Trapezoidal Attribute Cardinality Map for Query Optimization in Database Systems (MT, BJO), pp. 156–162.
KDD-1999-AdomaviciusT #personalisation #profiling #validation: User Profiling in Personalization Applications Through Rule Discovery and Validation (GA, AT), pp. 377–381.
TOOLS-USA-1999-PeriyasamyAM #object-oriented #validation #verification: Verification and Validation Techniques of Object-Oriented Software Systems (KP, VSA, DM), p. 413–?.
RE-1999-AmyotLBG #case study #distributed #requirements #validation: Use Case Maps for the Capture and Validation of Distributed Systems Requirements (DA, LL, RJAB, TG), p. 44–?.
ICSE-1999-Easterbrook #requirements #validation #verification: Verification and Validation of Requirements for Mission Critical Systems (SME), pp. 673–674.
CADE-1999-GribomontS #using #validation #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: Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study (SR, PB), pp. 84–95.
DAC-1998-ChenOIB #analysis #architecture #validation: Validation of an Architectural Level Power Analysis Technique (RYC, RMO, MJI, RSB), pp. 242–245.
DAC-1998-HinesB #design #distributed #embedded #framework #validation: A Geographically Distributed Framework for Embedded System Design and Validation (KH, GB), pp. 140–145.
DAC-1998-YangD #validation: Validation with Guided Search of the State Space (CHY, DLD), pp. 599–604.
DATE-1998-RiesgoTTU #estimation #fault #functional #modelling #quality #validation: 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 #validation: 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 #validation: Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor Arrays (LCW, MSA, JZ), pp. 273–277.
TACAS-1998-PnueliSS #validation: Translation Validation (AP, MS, ES), pp. 151–166.
TACAS-1998-RuysB #experience #modelling #programming #validation: Experience with Literate Programming in the Modelling and Validation of Systems (TCR, EB), pp. 393–408.
ICALP-1998-PnueliSS #validation: Translation Validation for Synchronous Languages (AP, OS, MS), pp. 235–246.
FM-1998-GoldsmithZ #csp #validation #verification: Critical Systems Validation and Verification with CSP and FDR (MG, IZ), pp. 243–250.
FM-1998-PnueliSS #validation: Translation Validation: From DC+ to C* (AP, OS, MS), pp. 137–150.
AdaEurope-1998-Tonndorf #ada #case study #compilation #experience: Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.
SIGAda-1998-PlintaDS #code generation #specification #validation: A Specification and Code Generation Tool for Message Translation and Validation (CP, RD, RVS), pp. 276–286.
CIKM-1998-DulleaS #analysis #modelling: An Analysis of the Structural Validity of Ternary Relatinships in Entity Relationship Modeling (JD, IYS), pp. 331–339.
ICML-1998-McCluskeyW #case study #requirements #validation: A Case Study in the Use of Theory Revision in Requirements Validation (TLM, MMW), pp. 368–376.
ICPR-1998-SardoK #complexity #estimation #using #validation: Model complexity validation for PDF estimation using Gaussian mixtures (LS, JK), pp. 195–197.
ICPR-1998-ZhaoO #adaptation #clustering: Adaptive local thresholding with fuzzy-validity-guided spatial partitioning (XZ, SHO), pp. 988–990.
UML-1998-JezequelGP #distributed #modelling #validation: Validating Distributed Software Modeled with the Unified Modeling Language (JMJ, ALG, FP), pp. 365–377.
ICRE-1998-SchneiderECH #fault tolerance #model checking #requirements #using #validation: Validating Requirements for Fault Tolerant Systems using Model Checking (FS, SME, JRC, GJH), pp. 4–13.
REFSQ-1998-MaidenCPM #requirements #validation: CREWS Validation Frames: Patterns for Validating Systems Requirements (NAMM, MC, HP, DM), pp. 167–178.
ICSE-1998-BinkleyS #dependence #maintenance #metric #predict #runtime #validation: 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 #validation: Helping the Automated Validation Process of User Interfaces Systems (Bd, CS, GD, PR), pp. 219–228.
LICS-1998-NeculaL #performance #proving #representation #validation: Efficient Representation and Validation of Proofs (GCN, PL), pp. 93–104.
ASE-1997-Hall #automation #library #reasoning #using #validation: Reactive System Validation using Automated Reasoning over a Fragment Library (RJH), pp. 299–300.
DAC-1997-BalarinS #embedded #realtime #validation: Schedule Validation for Embedded Reactive Real-Time Systems (FB, ALSV), pp. 52–57.
DAC-1997-GuptaMA #formal method #simulation #towards #using #validation: Toward Formalizing a Validation Methodology Using Simulation Coverage (AG, SM, PA), pp. 740–745.
ICDAR-1997-WatanabeZ #recognition #string #validation: 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 #validation: 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 #validation: Using Scenarios to Validate Requirements in a Plausibility Centred Approach (DF, PL), pp. 47–60.
CIKM-1997-LeeM #scheduling #transaction #validation: Commit-Reordering Validation Scheme for Transaction Scheduling in Client-Server Based Teleputing Systems: COREV (YL, SM), pp. 59–66.
ICML-1997-Ng: Preventing “Overfitting” of Cross-Validation Data (AYN), pp. 245–253.
KDD-1997-SmythGIRF #clustering #detection #using: Detecting Atmospheric Regimes Using Cross-Validated Clustering (PS, MG, KI, JR, AF), pp. 61–66.
ESEC-FSE-1997-LandSJ #design #detection #empirical #fault #performance #using #validation: 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 #validation #verification: The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
CADE-1997-Vardi #automaton #logic: Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics (MYV), pp. 191–206.
SAS-1996-Snelting #constraints #metric #slicing #theorem proving #validation: Combining Slicing and Constraint Solving for Validation of Measurement Software (GS), pp. 332–348.
FME-1996-SeguinW #approach #category theory #fault tolerance #logic #using #validation: Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems (CS, VW), pp. 347–366.
CAiSE-1996-CostalTUF #concept #validation: Handling Conceptual Model Validation by Planning (DC, ET, TU, CF), pp. 255–271.
KDD-1996-Smyth #clustering #monte carlo #using: Clustering Using Monte Carlo Cross-Validation (PS), pp. 126–133.
CAV-1996-FernandezGKMMS #named #protocol #validation #verification: CADP — A Protocol Validation and Verification Toolbox (JCF, HG, AK, LM, RM, MS), pp. 437–440.
ISSTA-1996-CallahanM #approach #multi #protocol #reliability #validation #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 #validation: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs (PG, DP, MGS), pp. 261–269.
DAC-1995-KnappLMM #behaviour #specification #synthesis #validation: Behavioral Synthesis Methodology for HDL-Based Specification and Validation (DK, TL, DM, RM), pp. 286–291.
DAC-1995-SinghalPRB: The Validity of Retiming Sequential Circuits (VS, CP, RLR, RKB), pp. 316–321.
DAC-1995-VanbekbergenWK #design #validation: A Design and Validation System for Asynchronous Circuits (PV, ARW, KK), pp. 725–730.
ICDAR-v2-1995-KanungoHB #distance #documentation #validation: 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 #validation: Bibliography references validation using emergent architecture (FP, AB), pp. 532–535.
ICDAR-v2-1995-WatanabeF #comprehension #documentation #framework #image #validation: A framework for validating recognized results in understanding table-form document images (TW, TF), pp. 536–539.
CSEE-1995-Shepard #education #on the #validation #verification: On Teaching Software Verification and Validation (TS), pp. 375–385.
AdaEurope-1995-BuchsBR #algebra #modelling #validation: Modeling and Validation of Tasks with Algebraic Structured Nets (DB, CB, PR), pp. 284–297.
SEKE-1995-LaliotiT #requirements #specification #validation #visual notation: Visual Scenarios for Validation of Requirements Specification (VL, BT), pp. 114–116.
EDAC-1994-NaganumaOH #algorithm #debugging #design #using #validation: High-Level Design Validation Using Algorithmic Debugging (JN, TO, TH), pp. 474–480.
KBSE-1994-Hall #incremental #rule-based #validation: Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.
FME-1994-Hansen #validation: Validation of a Railway Interlocking Model (KMH), pp. 582–601.
CHI-1994-GongK94a #development #validation: A validation of the GOMS model methodology in the development of a specialized, commercial software application (RG, DEK), pp. 351–357.
AdaEurope-1994-FrancolaM #realtime #validation: Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter (SF, MM), pp. 270–281.
ICML-1994-MooreL #algorithm #fault #performance #validation: Efficient Algorithms for Minimizing Cross Validation Error (AWM, MSL), pp. 190–198.
SEKE-1994-PranevitchiusP #simulation #specification #tool support #validation: Tools for validation and simulation of Estelle/Ag specifications (HP, VP), pp. 94–99.
TOOLS-EUROPE-1994-TsalgatidouGH #requirements #validation: Specifiying and Validating Requirements: The VENUS System (AT, DG, CH), pp. 89–102.
ICRE-1994-OzcanS #evolution #framework #requirements #validation: Validating and evolving software requirements in a systematic framework (MBÖ, JIAS), pp. 202–205.
CADE-1994-WirthG #equation #induction #on the: On Notions of Inductive Validity for First-Oder Equational Clauses (CPW, BG), pp. 162–176.
ILPS-1994-Malfon #logic programming #semantics #source code #validation: Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation (BM), pp. 91–105.
DAC-1993-Gennart #comparative #design #validation: Comparative Design Validation Based on Event Pattern Mappings (BAG), pp. 373–378.
DAC-1993-VemuriMSKRV #case study #experience #functional #synthesis #validation: Experiences in Functional Validation of a High Level Synthesis System (RV, PM, PS, NK, JR, RV), pp. 194–201.
KBSE-1993-Hall #rule-based #validation: Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.
ICDAR-1993-PlamondonBCS #algorithm #design #preprocessor #validation: 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 #validation: Reuse Reengineering and Validation via Concept Assignment (AC, ARF, PM), pp. 216–225.
CSM-1993-Desharnais #benchmark #industrial #metric #process #validation: Validation Process for Industry Benchmarking Data (JMD), pp. 371–372.
FME-1993-Boswell #policy #security #specification #validation: Specification and Validation of a Security Policy Model (AB), pp. 42–51.
HCI-ACS-1993-HollywellH #set #validation #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.
AdaEurope-1993-Tonndorf #ada #compilation #performance #validation: An Efficient Compiler Validation Method for Ada 9X (MT), pp. 95–107.
TRI-Ada-1993-Tonndorf #ada #compilation: An Integrated Tool Environment for Ada Compiler Validations (MT), pp. 268–276.
CAiSE-1993-GullaW #execution #modelling #using #validation: Using Explanations to Improve the Validation of Executable Models (JAG, GW), pp. 118–142.
CAiSE-1993-LaliotiL #validation #visualisation: Visualisation for Validation (VL, PL), pp. 143–164.
CAiSE-1993-LindlandK #concept #modelling #prototype #validation: Validating Conceptual Models by Transformational Prototyping (OIL, JK), pp. 165–183.
CIKM-1993-WuS #deduction #logic #validation: Rule Validation Based on Logical Deduction (PW, SYWS), pp. 164–173.
SEKE-1993-BiebowS #analysis #requirements #validation: Acquisition, Analysis and Validation of Informal Requirements (BB, SS), pp. 109–116.
ILPS-1993-SudarshanSRB #semantics: Extending the Well-Founded and Valid Semantics for Aggregation (SS, DS, RR, CB), pp. 590–608.
DAC-1992-GennartL #simulation #using #validation: Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.
PODS-1992-BeeriRSS #logic programming #semantics #source code: The Valid Model Semantics for Logic Programs (CB, RR, DS, SS), pp. 91–104.
SEI-1992-CardowL #education #validation #verification: Teaching Software Verification and Validation to Software Practitioner (JEC, DRL), pp. 167–179.
WSA-1992-MesnardM #automation #generative #linear #metric #source code: Automatic Generation of Valid Linear Measures for CLP(Q) Programs (FM, MM), pp. 29–34.
CHI-1992-GrayJA #bibliography #validation: The precis of Project Ernestine or an overview of a validation of GOMS (WDG, BEJ, MEA), pp. 307–312.
AdaEurope-1992-Stilberg #ada #validation: Considerations with Regard to Validation of Ada Debuggers (SS), pp. 197–213.
TRI-Ada-C-1992-Weiderman #ada #validation: Ada 9X Validation (NHW), pp. 113–118.
CAiSE-1992-Dalianis #concept #generative #natural language #validation: A Method for Validating a Conceptual Model by Natural Language Discourse Generation (HD), pp. 425–444.
CAiSE-1992-HalpinM #automation #concept #constraints #validation: Automated Validation of Conceptual Schema Constraints (TAH, JIM), pp. 445–462.
SEKE-1992-Hwang #information management #validation: Knowledge Acquisition and Validation for Implicit Expertise (GJH), pp. 32–39.
SEKE-1992-Tervonen #quality #research #validation: Quality-Driven Validation: A Link Between Four Research Traditions (IT), pp. 370–377.
OOPSLA-1992-DonyMC #prototype #taxonomy #validation: Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation (CD, JM, PC), pp. 201–217.
ICSE-1992-FelderM #realtime #specification #validation: Validating Real-Time Systems by History-Checking TRIO Specifications (MF, AM), pp. 199–211.
LOPSTR-1991-Waldau #validation: Formal Validation of Transformation Schemata (MW), pp. 97–110.
ESEC-1991-ShepperdI #algebra #metric #validation: Algebraic Validation of software Metrics (MJS, DCI), pp. 343–363.
DAC-1990-ArmstrongCSK #validation: The VHDL Validation Suite (JA, CC, SS, CK), pp. 2–7.
CAiSE-1990-TsalgatidouKL #requirements #rule-based #specification #validation: Rule-Based Requirements Specification and Validation (AT, VK, PL), pp. 251–263.
SEKE-1990-ShiM #requirements #towards #validation #verification: Toward Verification and Validation of Software Requirements (GMS, IM), pp. 251–259.
SEKE-1990-Sinohara #information management #knowledge base: KID-a- Knowledge Acquisition Support Tool to develop Validated Knowledge Base (YS), pp. 122–126.
ICSE-1990-GuihoH #case study #experience #validation: SACEM Software Validation (Experience Report) (GDG, CH), pp. 186–191.
ESEC-1989-MorascaP #ada #concurrent #execution #source code #symbolic computation #using #validation: Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.
ICSE-1989-Cherniavsky #testing #validation: Validation Through Testing (JCC), p. 354.
ICSE-1989-Howden #validation: Error-Based Validation Completeness (WEH), p. 357.
ICSE-1989-Kemmerer: Completely Validated Software (RAK), pp. 359–360.
ICSE-1989-Linger #re-engineering: Mathematics-Based Software Engineering for Completely Validated Software (RCL), p. 358.
ICSE-1989-Yue #composition #dynamic analysis #functional #requirements #validation: Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.
TAV-1989-Howden #source code #specification #validation: Validating Programs without Specifications (WEH), pp. 2–9.
VDME-1988-Blikle #specification #validation: Three-Valued Predicates for Software Specification and Validation (AB), pp. 243–266.
VDME-1988-KonikowskaTB #logic #specification #validation: A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.
ICSE-1988-JefferyB #validation: Validating the TAME Resource Data Model (DRJ, VRB), pp. 187–201.
DAC-1987-BhatejaK #design #named #validation: VALKYRIE: A Validation Subsystem of a Version Server for Computer-Aided Design Data (RB, RHK), pp. 321–327.
VLDB-1987-QianS #constraints #performance #validation: Integrity Constraint Reformulation for Efficient Validation (XQ, DRS), pp. 417–425.
SIGMOD-1986-MackertL #evaluation #performance #query #validation: R* Optimizer Validation and Performance Evaluation for Local Queries (LFM, GML), pp. 84–95.
VLDB-1986-MackertL #distributed #evaluation #performance #query #validation: R* Optimizer Validation and Performance Evaluation for Distributed Queries (LFM, GML), pp. 149–159.
VLDB-1986-QianW #constraints #knowledge-based #validation: Knowledge-based Integrity Constraint Validation (XQ, GW), pp. 3–12.
CRAI-1986-Goodenough #ada #compilation #testing #theory and practice #validation: Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.
ICSE-1985-KafuraC #metric #using #validation: A Validation of Software Metrics Using Many Metrics and Two Resources (DGK, JC), pp. 378–385.
ICSE-1985-PottsBCM #design #simulation #specification #validation: Discrete Event Simulation as a Means of Validating JSD Design Specifications (CP, AB, BHC, RM), pp. 119–127.
DAC-1982-MudgeRLA #image #layout #validation: Cellular image processing techniques for VLSI circuit layout validation and routing (TNM, RAR, RML, DEA), pp. 537–543.
CADE-1982-Caferra #matrix #proving #reduction #validation: Proof by Matrix Reduction as Plan + Validation (RC), pp. 309–325.
SIGIR-1981-NoreaultD: Spatial Representations of Knowledge: Validity and Applications to Information Science (TN, JFD), pp. 113–125.
SIGIR-1981-StorerE #clustering #validation: Experiments on the Application of Clustering Techniques to Data Validation (Abstract) (WFS, CME), pp. 88–89.
SIGMOD-1979-BadalP #analysis #performance #semantics #validation: Cost and Performance Analysis of Semantic Integrity Validation Methods (DZB, GJP), pp. 109–115.
ICSE-1979-RamamoorthyBFMNS #approach #development #on the #validation: 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 #validation: Analysis of Error Remediation Expenditures During Validation (MAH, APK), pp. 202–206.
DAC-1977-Noon #design #logic #validation #verification: A Design Verification and Logic Validation System (WAN), pp. 362–368.
VLDB-1977-Bubenko #aspect-oriented #modelling #validation #verification: Validation and Verification Aspects of Information Modeling (JABJ), pp. 556–566.
ICSE-1976-Voges #aspect-oriented #design #validation: 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 #validation: Security Kernel Validation in Practice (JKM), pp. 243–250.
DAC-1975-Losleben75a #design #validation: Design validation in hierarchical systems (PL), pp. 431–438.
STOC-1975-Galil #bound #complexity #on the: On the Validity and Complexity of Bounded Resolution (ZG), pp. 72–82.
STOC-1972-Sethi #source code #validation: Validating Register Allocations for Straight Line Programs (RS), pp. 222–237.
SIGFIDET-1970-Bastian #summary #validation: Data Validation (pre-discussion summary) (ALB), p. 276.
SIGFIDET-1970-Bastian70a #validation: Data Validation (transcript) (ALB), pp. 291–312.