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 × Canada
1 × Estonia
1 × France
1 × Portugal
1 × South Africa
1 × Vietnam
2 × Germany
2 × The Netherlands
4 × USA
Collaborated with:
D.Kapur B.Guo Z.Pap H.P.Siy P.Chundi J.Shi H.Guo W.Zheng L.Xiao D.J.Rosenkrantz G.Kovács G.Á.Németh
Talks about:
test (6) use (5) chang (4) machin (3) impact (3) extend (3) state (3) finit (3) protocol (2) theorem (2)

Person: Mahadevan Subramaniam

DBLP DBLP: Subramaniam:Mahadevan

Contributed to:

ICST 20122012
PPDP 20092009
SEFM 20092009
TestCom/FATES 20092009
MSR 20082008
SEFM 20082008
CSMR 20072007
ICSM 20072007
TestCom/FATES 20072007
TestCom 20062006
SEFM 20052005
CADE 20002000
CADE 19961996
CAV 19961996

Wrote 14 papers:

ICST-2012-GuoSC #analysis #clustering #testing
Analysis of Test Clusters for Regression Testing (BG, MS, PC), p. 736.
PPDP-2009-GuoZS #consistency #named
L2C2: logic-based LSC consistency checking (HFG, WZ, MS), pp. 183–194.
SEFM-2009-SubramaniamGP #finite #impact analysis #state machine #testing #using
Using Change Impact Analysis to Select Tests for Extended Finite State Machines (MS, BG, ZP), pp. 93–102.
TestCom-FATES-2009-SubramaniamXGP #approach #proving #testing #theorem proving #using
An Approach for Test Selection for EFSMs Using a Theorem Prover (MS, LX, BG, ZP), pp. 146–162.
MSR-2008-SiyCS #challenge #developer #segmentation #using
Summarizing developer work history using time series segmentation: challenge report (HPS, PC, MS), pp. 137–140.
SEFM-2008-GuoS #finite #impact analysis #proving #state machine #theorem proving #using
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover (BG, MS), pp. 335–344.
CSMR-2007-SubramaniamS
Consistently Incorporating Changes to Evolve Transition-based Systems (MS, HPS), pp. 17–26.
ICSM-2007-SiyCRS #developer #segmentation #version control
Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation (HPS, PC, DJR, MS), pp. 415–424.
TestCom-FATES-2007-PapSKN #algorithm #bound #finite #generative #incremental #state machine #testing
A Bounded Incremental Test Generation Algorithm for Finite State Machines (ZP, MS, GK, GÁN), pp. 244–259.
TestCom-2006-SubramaniamP #protocol #testing
Analyzing the Impact of Protocol Changes on Tests (MS, ZP), pp. 197–212.
SEFM-2005-SubramaniamS #protocol #using
Using Dominators to Extract Observable Protocol Contexts (MS, JS), pp. 96–105.
CADE-2000-KapurS #induction
Extending Decision Procedures with Induction Schemes (DK, MS), pp. 324–345.
CADE-1996-KapurS #automation #induction
Lemma Discovery in Automated Induction (DK, MS), pp. 538–552.
CAV-1996-KapurS #multi #product line #verification
Mechanically Verifying a Family of Multiplier Circuits (DK, MS), pp. 135–146.

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.