io-port.net

io-port 05661002 Gay, Gregory; Menzies, Tim; Jalali, Omid; Mundy, Gregory; Gilkerson, Beau; Feather, Martin; Kiper, James

Finding robust solutions in requirements models. (English)

Autom. Softw. Eng. 17, No. 1, 87-116 (2010).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05661001 Kou, Hongbing; Johnson, Philip M.; Erdogmus, Hakan

Operational definition and automated inference of test-driven development with Zorro. (English)

Autom. Softw. Eng. 17, No. 1, 57-85 (2010).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05661000 Derderian, Karnig; Hierons, Robert M.; Harman, Mark; Guo, Qiang

Estimating the feasibility of transition paths in extended finite state machines. (English)

Autom. Softw. Eng. 17, No. 1, 33-56 (2010).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660999 Hao, Dan; Xie, Tao; Zhang, Lu; Wang, Xiaoyin; Sun, Jiasu; Mei, Hong

Test input reduction for result inspection to facilitate fault localization. (English)

Autom. Softw. Eng. 17, No. 1, 5-31 (2010).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660998 Tuunanen, Timo; Koskinen, Jussi; Kärkkäinen, Tommi

Automated software license analysis. (English)

Autom. Softw. Eng. 16, No. 3-4, 455-490 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660997 Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

A semantic framework for metamodel-based languages. (English)

Autom. Softw. Eng. 16, No. 3-4, 415-454 (2009).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660996 Gherbi, Abdelouahed; Khendek, Ferhat

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. (English)

Autom. Softw. Eng. 16, No. 3-4, 387-414 (2009).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660986 Sawin, Jason; Rountev, Atanas

Improving static resolution of dynamic class loading in Java using dynamically gathered environment information. (English)

Autom. Softw. Eng. 16, No. 2, 357-381 (2009).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660985 Marin, Marius; van Deursen, Arie; Moonen, Leon; van der Rijst, Robin

An integrated crosscutting concern migration strategy and its semi-automated application to JhotDraw. (English)

Autom. Softw. Eng. 16, No. 2, 323-356 (2009).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660984 Magnusson, Eva; Ekman, Torbjörn; Hedin, Görel

Demand-driven evaluation of collection attributes. (English)

Autom. Softw. Eng. 16, No. 2, 291-322 (2009).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660983 Lochbihler, Andreas; Snelting, Gregor

On temporal path conditions in dependence graphs. (English)

Autom. Softw. Eng. 16, No. 2, 263-290 (2009).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660982 Ceccato, Mariano; Preda, Mila Dalla; Nagra, Jasvir; Collberg, Christian; Tonella, Paolo

Trading-off security and performance in barrier slicing for remote software entrusting. (English)

Autom. Softw. Eng. 16, No. 2, 235-261 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660981 Giffhorn, Dennis; Hammer, Christian

Precise slicing of concurrent programs. (English)

Autom. Softw. Eng. 16, No. 2, 197-234 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660980 Artzi, Shay; Kieżun, Adam; Quinonez, Jaime; Ernst, Michael D.

Parameter reference immutability: formal definition, inference tool, and comparison. (English)

Autom. Softw. Eng. 16, No. 1, 145-192 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660979 Antkiewicz, Michał; Tonelli bartolomei, Thiago; Czarnecki, Krzysztof

Fast extraction of high-quality framework-specific models from application code. (English)

Autom. Softw. Eng. 16, No. 1, 101-144 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660978 Smaragdakis, Yannis; Csallner, Christoph; Subramanian, Ranjith

Scalable satisfiability checking and test data generation from modeling diagrams. (English)

Autom. Softw. Eng. 16, No. 1, 73-99 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660977 Little, Greg; Miller, Robert C.

Keyword programming in Java. (English)

Autom. Softw. Eng. 16, No. 1, 37-71 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660976 Wang, Yiqiao; Mcilraith, Sheila A.; Yu, Yijun; Mylopoulos, John

Monitoring and diagnosing software requirements. (English)

Autom. Softw. Eng. 16, No. 1, 3-35 (2009).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660995 Hinchey, Mike

Desert island column. (English)

Autom. Softw. Eng. 15, No. 3-4, 393-402 (2008).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660994 Selic, Bran

Personal reflections on automation, programming culture, and model-based software engineering. (English)

Autom. Softw. Eng. 15, No. 3-4, 379-391 (2008).

20

PDF XML AMS-TeX TEXT BIBTeX DOI