Integrity for Interfaces and Lambda Expressions with Static Analysis

Imran Pinjari, Michael Shin, Pushkar Ogale

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings - SEKE 2024
Subtitle of host publication36th International Conference on Software Engineering and Knowledge Engineering
Pages132-135
Number of pages4
ISBN (Electronic)1891706594
DOIs
StatePublished - 2024
Event36th International Conference on Software Engineering and Knowledge Engineering, SEKE 2024 - Hybrid, San Francisco, United States
Duration: Oct 26 2024Nov 4 2024

Publication series

NameProceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
ISSN (Print)2325-9000
ISSN (Electronic)2325-9086

Conference

Conference36th International Conference on Software Engineering and Knowledge Engineering, SEKE 2024
Country/TerritoryUnited States
CityHybrid, San Francisco
Period10/26/2411/4/24

ASJC Scopus Subject Areas

  • Software

Keywords

  • Integrity Breach Condition
  • Interface
  • Lambda Expression
  • Security Spot

Cite this