yusuke1997/dblp-id-title huggingface dataset:
Information Security Standards: Adoption Drivers (Invited Paper) - What drives organisations to seek accreditation? The case of BS 7799-2: 2002
Reducing Disruption in Time-Tabled Condition Monitoring
Detecting Data Integrity Failures
Dynamic Integrity Constraints Definition and Enforcement in Databases: A Classification Framework
Security Management, Integrity, and Internal Control in Information Systems - IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference [18-19 November 2004, Fairfax, Virginia; USA]
Implementation of the COBIT-3 maturity model in Royal Philips Electronics
Data Quality Dimensions for Information Systems Security: A Theoretical Exposition (Invited Paper)
Modification of Integrity Constraints Through Knowledge Discovery
Towards Continuously Auditable Systems
Control of Information and Communication Technology: An Integrity Problem
Establishing accounting principles as invariants of financial systems
Propagating Integrity Information among Interrelated Databases
Monitoring Mission Critical Data for Integrity and Availability
Assurance - What is it?
Scalable Access Policy Administration (Invited Paper) - Opinions and a Research Agenda
Automated Checking of SAP Security Permisisons
A Holistic Risk Analysis Method for Identifying Information Security Risks
Attack Aware Integrity Control in Databases (Invited Abstract)
The Constraint Operator of MedLan: Its Efficient Implementation and Use
Information Integrity in End-User Systems
How Much Should We Pay for Security? (Invited Paper)
Integration of Integrity Constraints in Database Federations
Towards Effect Preservation of Updates with Loops
A Formal Analysis of a Digital Signature Architecture
Data quality: developments and directions
Role of Certification in Meeting Organisation Security Requirements
Integrity Mechanisms in German and International Payment Systems
Managing with Less than Absolute Integrity
The Effects of Time on Integrity in Information Systems
The Integrity Challenge
Design Basis for Achieving Information Integrity - a Feedback Control System Approach
Application of Models from Epidemiology to Metrics for Computer Virus Risk - A Brief Update
Integrity and Internal Control in a Statistical Environment
Definition of Integrity Policies For Web-based Applications
Implementing Information Integrity Technology - A Feedback Control System Approach
Complex IT Environments: Ascertaining Information Integrity
Establishing an Information Security Strategy
Characteristics and Measures for Mobile-Masquerader Detection
Designing High Integrity Systems Using Aspects
A cautionary note regarding the data integrity capacity of certain secure systems
Risk Communication, Risk Perception and Information Security
Governing information technology through COBIT
Integrity and Internal Control in Information Systems V, IFIP TC11/WG11.5 Fifth Working Conference on Integrity and Internal Control in Information Systems (IICIS), November 11-12, 2002, Bonn, Germany
An Efficient OODB Model for Ensuring the Integrity of User-Defined Constraints
A Model for Specifying Individual Integrity Constraints on Objects
A Secure Multi-Sited Version Control System
Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, Third Working Conference on Integrity and Internal Control in Information Systems: Strategic Views on the Need for Control, Amsterdam, The Netherlands, November 18-19, 1999
Information Security: A Corporate Governance Issue
A UML Approach in the ISMS Implementation
Opportunities and Challenges in Tracing Security Breaches
Business process security. Managing the new security challenge with X-Tra Secure
Maintaining Temporal Integrity of World Wide Web pages
Maintaining Integrity Constraints and Security in real-Time Database Systems
Using Parameterized UML to Specify and Compose Access Control Models
Security in electronic payment systems EMV and CEPs
A Responsibility Framework for Information Security
Application Controls in a Client/Server Environment
A Hierarchical Release Control Policy Framework
Optimistic Concurrency Control for Maintaining the Global Integrity Constraint in MDBSs
Application of Models from Epidemiology to Metrics for Computer Virus Risk
Semantic Information Infrastructure Protection (Invited Abstract)
From Security Culture to Effective E-Security Solutions
Control Models and Control Self Assessment: Results of a Survey of the IIA CSA Center
The information integrity imperative
Integrity Control of Spreadsheets: Organisation & Tools
Algebra for Databases with Explicit Markings of Damaged Data
Multi-representation: A New Paradigm for Databases
A Typical Model Audit Approac
Consistent Query Answering - Recent Developments and Future Directions
From XML to RDF: Syntax, Semantics, Security, and Integrity (Invited Paper)
DEMIDS: A Misuse Detection System for Database Systems
Increasing the Accuracy of Time-tabled Condition Monitoring
A Learning-based Approach to Information Release Control
View Constraints: An Interpretation of Integrity Constraints for Security
Remote Integrity Checking - How to Trust Files Stored on Untrusted Servers
Employee Security Perception in Cultivating Information Security Culture
Integrity Constraint Enforcement in a Multidatabase Using Distributed Active Rules
Tracing Attacks and Restoring Integrity with Lascar
Integrity, Internal Control and Security in Information Systems: Connecting Governance and Technology, IFIP TC11/WG11.5 Fourth Working Conference on Integrity, Internal Control and Security in Information Systems, November 15-16, 2001, Brussels, Belgium
Do Not Ship, or Receive, Trojan Horses - Avoiding Network Vulnerabilities Potentially Introduced by Embedded Systems
Grand Challenges in Data Integrity and Quality: Panel Discussion
Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, Second Working Conference on Integrity and Internal Control in Information Systems: Bridging Business Requirements and Research Results, Warrenton, Virginia, USA, November 19-20, 1998
Growing Dependency on IT: The Consequences Thereof for the Organization and for IT-Auditors
A Protection Profiles Approach to Risk Analysis for Small and Medium Enterprises
The Integrity of Electronic Evidence
A Trust-Based Model for Information Integrity in Open Systems
Can We Tune Information Security Management Into Meeting Corporate Governance Needs? (Invited Paper)
The Very Brief History of Digital Evidence Standards
A Logical Formalization of Integrity Policies for Database Management Systems
Firewall Policies Definition Tools: An Implementation Idea
TOP: An Example of Complex Application Controls
Stop that Subversive Spreadsheet!
Integrity and Internal Control in Information Systems, IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems, Zurich, Switzerland, December 4-5, 1997
Diversity as a defense strategy in information systems. Does evidence from previous events support such an approach?
Integrity: Do you know where your Objects Are?
Integrity and internal control in modern banking systems
Efficient Methods for Checking Integrity: An Integrated Spreadsheet Engineering Methodology (ISEM)
Query Answering in Information Systems with Integrity Constraints
The Mitigation of ICT Risks Using Emitl Tool: An Empirical Study
Information Security Governance - A Re-Definition
Integrity in Information Systems
Concurrent Checking of Global Cross-database Integrity Constraints
A Policy Framework for Access Management in Federated Information Sharing
A Service Oriented System Based Information Flow Model for Damage Assessment
Integrity Testing in WWW Environment
Information Security Governance using ISO 17799 and COBIT
Integrity and Internal Control in Information Systems VI - IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13-14 November 2003, Lausanne, Switzerland
Integrity: Definition, Subdivision, Challenge
Changing Definitions of Internal Control and Information Systems Integrity
A Distributed Service Registry for Resource Sharing Among Ad-Hoc Dynamic Coalitions
Developing secure software. A survey and classification of common software vulnerabilities
Managing Uncertainty in Security Risk Model Forecasts with RAPSA/MC
Measurement of Information Security in Processes and Products
Protecting Java Component Integrity Against Trojan Horse Programs
COSO in the Worldbank
Managing Data Quality and Integrity in Federated Databases
The Impact of Web Services on Audit
Integrity Problems in Distributed Accounting Systems with Semantic ACID Properties
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol
Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities
Test Generation for Interaction Detection in Feature-Rich Communication Systems
Testing and Test Generation: State of the Art and Future Expectations
Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Qualitative Notions of Testability
Model-Based Testing of Web Applications Using NModel
Test System for a Restricted Class of LOTOS Expressions with Data Parameters
An Approach to the Test of an ATM Based Signalling Application
Architectures for Testing Distributed Systems
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
From Ontologies to Input Models for Combinatorial Testing
Distributed Load Tests with TTCN-3
Symbolic Model Based Testing for Component Oriented Systems
Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings
Dynamic Risk Model of Money Laundering
Spectrum-Based Fault Localization for Diagnosing Concurrency Faults
Determination of Test Configurations for Pair-Wise Interaction Coverage
New Convex-Based Metamorphic Relations and Large-Scale Machine Learning Model Evaluation
Improved Usage Model for Web Application Reliability Testing
Well-Defined Coverage Metrics for the Glass Box Test
Position Statement: Making TTCN-3 testing a success
An Energy Aware Testing Framework for Smart-Spaces
Towards Attribute-Based Access Control Policy Engineering Using Risk
On FSM-Based Fault Diagnosis
Back-to-Back Testing of Self-organization Mechanisms
Summary of ObfSec: Measuring the Security of Obfuscations from a Testing Perspective
Test Purpose Concretization through Symbolic Action Refinement
Test Amplification for REST APIs via Single and Multi-agent LLM Systems
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols
Solving the Instance Identification Problem in Micro-service Testing
RQCODE: Security Requirements Formalization with Testing
ISO Conformance Testing of the GSM Mobile Network System
Detecting Trapdoors in Smart Cards Using Timing and Power Analysis
Learning Abstracted Non-deterministic Finite State Machines
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems
Inspecting Code Churns to Prioritize Test Cases
A Technique for Agile and Automatic Interaction Testing for Product Lines
FSM Test Translation Through Context
Change Detection System for the Maintenance of Automated Testing
Using Logic Coverage to Improve Testing Function Block Diagrams
Predicting the Size of Test Suites from Use Cases: An Empirical Exploration
An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs
Automated Test Design for Boundaries of Product Line Variants
Interoperability Testing Panel Minutes
TUB-TCI An Architecture for Dynamic Deployment of Test Components
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
Testing TLS Using Combinatorial Methods and Execution Framework
Lightweight Automatic Error Detection by Monitoring Collar Variables
Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation
The Refusal Graph: a Tradeoff between Verification and Test
Using Behaviour Inference to Optimise Regression Test Sets
Interactive Test Generation from LOTOS Specifications
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior
Continuous Auditing Based Conformity Assessment for AI Systems: A Proof-of-Concept Evaluation
Formal Test Automation: The Conference Protocol with TGV/TORX
Automation of Avionic Systems Testing
Reverse Engineering for Input Modeling: Input Parameter Model Inference from Network Traces
ATM Broadband Network Testing Using the Ferry Principle
GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems
Testing Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Generation of Feasible Test Sequences for EFSM Models
Tracing Vulnerability Propagation Across Open Source Software Ecosystems
A Systematic Method for Risk-Driven Test Case Design Using Annotated Sequence Diagrams
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports
UMTS Terminal Testing: A Practical Perspective
Locality-Based Test Selection for Autonomous Agents
Position Paper on Interoperability Testing
Assessing Privacy Risks in Android: A User-Centric Approach
Generating Reduced Tests for FSMs with Extra States
Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings
Test Generation for CEFSM Combining Specification and Fault Coverage
Security Risk Analysis by Logic Programming
Generating Checking Sequences for a Distributed Test Architecture
Applying Model-Based Testing to HTML Rendering Engines - A Case Study
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol
Enhancing Vulnerability Detection with Domain Knowledge: A Comparison of Different Mechanisms
Extending a Flakiness Score for System-Level Tests
T911IMED TTCN-3 Based Graphical Real-Time Test Specification
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study
TMN and Telecommunication Networks Testing
Responsible MLOps Design Methodology for an Auditing System for AI-Based Clinical Decision Support Systems
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests
Exhaustive Model-Based Equivalence Class Testing
Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems
Use of TTCN-3 for Software Module Testing
More Testable Properties
Verification and Testing of Concurrent Systems with Action Races
Enhancing Path Testing with Eye-Tracking: A Human-Centric Approach to Functional Software Testing
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems
Interoperability Testing: Basis for the Acceptance of Communication Systems
Formulation of the Interaction Test Coverage Problem as an Integer Program
Configuration and Execution Support for Distributed Tests
A Rapid Review on Fuzz Security Testing for Software Protocol Implementations
On the Quality of Network Flow Records for IDS Evaluation: A Collaborative Filtering Approach
Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle
Automating Performance Testing in CI/CD - Tools Evaluation
Realizing Distributed TTCN-3 Test Systems with TCI
Performance Analysis of Concurrent PCOs in TTCN-3
Increasing Functional Coverage by Inductive Testing: A Case Study
Factorized Test Generation for Multi-Input/Output Transition Systems
FSM-based Re-Testing Methods
Interactive Testing and Repairing of Regular Expressions
Utilizing Security Risk Analysis and Security Testing in the Legal Domain
Passive Testing - A Constrained Invariant Checking Approach
Test Suite Minimization for Testing in Context
Multi-device, Robust, and Integrated Android GUI Testing: A Conceptual Framework
Checking Experiments with Protocol Machines
Mutating Clingo's AST with clingabomino
Test Generation Driven by User-defined Fault Models
Alternating Simulation and IOCO
Position Statement: Testing Automation with Computer Aided Test Case Generation
Overview of Tool Demonstrations
Conformance Testing of a Multimedia System Using PHACT
Protocol-Inspired Hardware Testing
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
Chaining Test Cases for Reactive System Testing
Praspel: A Specification Language for Contract-Based Testing in PHP
Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior
Hardware/Software Integration Testing for the new Airbus Aircraft Families
On Using Homing Sequences Instead of Distinguishing in FSM-Based Testing
HTTP Performance Evaluation with TTCN
Timing Fault Models for Systems with Multiple Timers
Testing Transition Systems with Input and Output Testers
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications
Test Selection Based on ADT Specifications
Timed TTCN-3 - A Real-time Extension for TTCN-3
An Operational Semantics for Concurrent TTCN
Reusable Test Suites for Reinforcement Learning
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation
Test Derivation from LOTOS Using Structure Information
Model-Based Generation of Testbeds for Web Services
Localization Testing in Video Games Using Text Recognition
Automated Testing of Systems of Systems
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
Generating Checking Sequences for User Defined Fault Models
APPregator: A Large-Scale Platform for Mobile Security Analysis
Models and Testing - A Recipe for Improved Effectiveness?
Implementing Conformiq Qtronic
The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage
Controllability Through Nondeterminism in Distributed Testing
JMCTest: Automatically Testing Inter-Method Contracts in Java
Conformance Testing and Inference of Embedded Components
Test Generation by Constraint Solving and FSM Mutant Killing
Robustness Analysis of Deep Learning Frameworks on Mobile Platforms
An Approach for Testing Real Time Protocol Entities
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
Set-Based Algorithms for Combinatorial Test Set Generation
Test Suite Minimization for Embedded Nondeterministic Finite State Machines
From Simulation Data to Test Cases for Fully Automated Driving and ADAS
Generating Test Cases for Web Services Using Extended Finite State Machine
Constraint-Based Oracles for Timed Distributed Systems
Protocol Test Case Visualization
Risk Assessment and Risk-Driven Testing - First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer Protocol
Using TTCN-3 for Testing Platform Independent Models
A TCP Test System Specifying only Exceptional Packet Sequences
External Conformance Requirements: Concepts, Methods and Tools
Monitoring Dynamical Signals While Testing Timed Aspects of a System
An EFSM-Based Passive Fault Detection Approach
Conformance of Distributed Systems
Testing SIP Call Flows Using XML Protocol Templates
Testability Indicators for Refactoring
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis
libfsmtest An Open Source Library for FSM-Based Testing
Parallelizing Heuristics for Generating Synchronizing Sequences
Results of the CTS-2 ISDN Basic Access Project
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions
New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax
Test Generation in the Presence of Conflicting Timers
Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
THOTL: A Timed Extension of HOTL
Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences
Using Disparity to Enhance Test Generation for Hybrid Systems
GROOT: A GDPR-Based Combinatorial Testing Approach
On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications
Conformance Testing of CORBA Services Using TTCN
A Formal Approach to Conformance Testing
On Static and Dynamic Test Case Selections in Protocol Confomance Testing
Incremental Testing at System Reference Points
Problems and Difficulties with GSM Protocol Conformance Testing
Model-Based Testing of Service Infrastructure Components
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
Using Testing Techniques for Vulnerability Detection in C Programs
Testing IP Differentiated Services Implementations
An Automata-Based Approach to Property Testing in Event Traces
Multiplexing of Partially Ordered Events
Software System Testing Assisted by Large Language Models: An Exploratory Study
Hacking Goals: A Goal-Centric Attack Classification Framework
Creation of Human-friendly Videos for Debugging Automated GUI-Tests
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3
TPLan-A Notation for Expressing Test Purposes
On Asynchronous Testing
AI for Localizing Faults in Spreadsheets
Functional Testing GPRS Support Nodes Using TTCN
Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites
OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products
Firewall Conformance Testing
Towards the Testing of Composed Web Services in 3 rd Generation Networks
Formal Test Automation: A Simple Experiment
LaTe, a Non-fully Deterministic Testing Language
Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7
Testing Software and Systems - 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17-19, 2025, Proceedings
A Test Case Generation Method for Concurrent Programs
Session on Equivqlence of Test Tools
On the Development of a Standard for Conformance Testing Based on Formal Specifictations
From Scenarios to Test Implementations Via Promela
Estimating Combinatorial t-Way Coverage Based on Matrix Complexity Metrics
Interoperabolity Events Complementing Conformance Testing Activities
Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks
Non-Deterministic and Default Behaviour
A Guided Method for Testing Timed Input Output Automata
Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002
An Expressive and Implementable Formal Framework for Testing Real-Time Systems
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines
Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing
Validation of Transformation from Abstract State Machine Models to C++ Code
Mining Precise Test Oracle Modelled by FSM
Testing Access to External Information Sources in a Mediator Environment
Enhanced Graph Neural Networks for Vulnerability Detection in Java via Advanced Subgraph Construction
Comparing Bug Finding Tools with Reviews and Tests
Towards Systematic Signature Testing
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
Specification and Validation of Numerical Algorithms with the Gradual Contracts Pattern
Testing Temporal Logic Properties in Distributed Systems
Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings