BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
validation
Google validation

Tag #validation

690 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.