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: Subramaniam:Mahadevan
Contributed to:
2012
2009
2009
2009
20082008
2007
20072007
20062005
20001996
1996Wrote 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.