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
Travelled to:
1 × Brazil
1 × Canada
1 × France
1 × Greece
1 × India
1 × South Africa
1 × Switzerland
1 × The Netherlands
1 × Turkey
1 × USA
1 × United Kingdom
Collaborated with:
P.A.P.Salas K.Vorobyov S.Bracher P.Stocks G.Finnie ∅ N.Allen B.Scholz K.J.Ross
Talks about:
test (5) secur (3) approach (2) softwar (2) generat (2) analysi (2) system (2) model (2) engin (2) code (2)

Person: Padmanabhan Krishnan

DBLP DBLP: Krishnan:Padmanabhan

Facilitated 1 volumes:

SEFM 2009Ed

Contributed to:

CC 20152015
ICTSS 20132013
ICST 20122012
SEFM 20122012
CSEE&T 20102010
SAC 20102010
CSEE&T 20092009
MBT 20092009
SAC 20082008
SEFM 20082008
IFM 20052005
ESOP 19921992

Wrote 12 papers:

CC-2015-AllenSK #analysis #points-to #scalability #staged
Staged Points-to Analysis for Large Code Bases (NA, BS, PK), pp. 131–150.
ICTSS-2013-VorobyovKS #approach #memory management
A Dynamic Approach to Locating Memory Leaks (KV, PK, PS), pp. 255–270.
ICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
SEFM-2012-VorobyovKS #approach #data flow #security
A Low-Overhead, Value-Tracking Approach to Information Flow Security (KV, PK, PS), pp. 367–381.
CSEET-2010-FinnieK #re-engineering
Adding Service Engineering and Management to a Software Engineering Program (GF, PK), pp. 165–168.
SAC-2010-KrishnanS #generative #modelling #testing
Data generation in model-based testing (PK, PAPS), pp. 2211–2215.
CSEET-2009-KrishnanRS #case study #collaboration #experience #industrial
Industry Academia Collaboration: An Experience Report at a Small University (PK, KJR, PAPS), pp. 117–121.
MBT-2009-SalasK #automation #testing
Automated Software Testing of Asynchronous Systems (PAPS, PK), pp. 3–19.
SAC-2008-BracherK #documentation #implementation #prototype
Implementing secure document circulation: a prototype (SB, PK), pp. 1452–1456.
SEFM-2008-SalasK #modelling #policy #privacy #testing #using
Testing Privacy Policies Using Models (PAPS, PK), pp. 117–126.
IFM-2005-BracherK #security #specification #testing
Enabling Security Testing from Specification to Code (SB, PK), pp. 150–166.
ESOP-1992-Krishnan #multi #semantics
A Semantics for Multiprocessor Systems (PK), pp. 307–320.
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.