2001 |
13 | EE | Janusz W. Laski,
William Stanley,
Pawel Podgorski:
Beyond ASIS: program data bases and tool-oriented queries.
SIGAda 2001: 81-90 |
1998 |
12 | EE | Janusz W. Laski,
William Stanley,
Jim Hurst:
Dependency Analysis of Ada Programs.
SIGAda 1998: 263-275 |
1997 |
11 | | Janusz W. Laski:
Programming Faults and Errors: Towards a Theory of Software Incorrectness.
Ann. Software Eng. 4: 79-114 (1997) |
1995 |
10 | | Janusz W. Laski,
Wojciech Szermer,
Piotr Luczycki:
Error Masking in Computer Programs.
Softw. Test., Verif. Reliab. 5(2): 81-105 (1995) |
1993 |
9 | EE | Janusz W. Laski,
Wojciech Szermer,
Piotr Luczycki:
Dynamic Mutation Testing in Integrated Regression Analysis.
ICSE 1993: 108-117 |
1990 |
8 | EE | Janusz W. Laski:
Data flow testing in STAD.
Journal of Systems and Software 12(1): 3-14 (1990) |
7 | EE | Bogdan Korel,
Janusz W. Laski:
Dynamic slicing of computer programs.
Journal of Systems and Software 13(3): 187-195 (1990) |
1988 |
6 | | Bogdan Korel,
Janusz W. Laski:
Dynamic Program Slicing.
Inf. Process. Lett. 29(3): 155-163 (1988) |
1986 |
5 | | Janusz W. Laski:
An Algorithm for the Derivation of Codefinitions in Computer Programs.
Inf. Process. Lett. 23(2): 85-90 (1986) |
1983 |
4 | | Janusz W. Laski,
Bogdan Korel:
A Data Flow Oriented Program Testing Strategy.
IEEE Trans. Software Eng. 9(3): 347-354 (1983) |
1982 |
3 | | Janusz W. Laski:
Application of the goal invariant to the structuring of programs.
SIGPLAN Notices 17(1): 27-36 (1982) |
2 | | Janusz W. Laski:
On Data Flow Guided Program Testing.
SIGPLAN Notices 17(9): 62-71 (1982) |
1976 |
1 | | Janusz W. Laski:
On Diagnosis of Algorithmical Processes.
MFCS 1976: 423-429 |